X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=copyright.texi;h=5b2b1a749c8498f175d1f18aae810b85d8fea593;hb=8b357c4aca3df20fef44ba13446880444a2c5605;hp=71d706e2cd500e15b0b3fcccaba5530a85173759;hpb=164662587e8d37fe59c8b5067f8f784637415e4d;p=xboard.git

diff --git a/copyright.texi b/copyright.texi
index 71d706e..5b2b1a7 100644
--- a/copyright.texi
+++ b/copyright.texi
@@ -1,3 +1,5 @@
+\input texinfo  @c -*-texinfo-*-
+
 @setfilename copyright.info
 
 Copyright @copyright{} 1991 Digital Equipment Corporation, Maynard, Massachusetts.
@@ -52,3 +54,5 @@ into another language, under the above conditions for modified versions,
 except that the section entitled ``GNU General Public License,''
 and this permission notice, may be included in translations approved by
 the Free Software Foundation instead of in the original English.
+
+@bye