changes from H.G. Muller; version 4.3.15

[xboard.git] / copyright.texi

diff --git a/copyright.texi b/copyright.texi
index 661d27a..ab2be49 100644 (file)
--- a/copyright.texi
+++ b/copyright.texi
@@ -1,3 +1,5 @@
+@setfilename copyright.info
+
 Copyright @copyright{} 1991 Digital Equipment Corporation, Maynard, Massachusetts.
 
 All Rights Reserved.