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

diff --git a/copyright.texi b/copyright.texi
index 5b2b1a7..42ccd8d 100644
--- a/copyright.texi
+++ b/copyright.texi
@@ -1,4 +1,3 @@
-\input texinfo  @c -*-texinfo-*-
 
 @setfilename copyright.info
 
@@ -54,5 +53,3 @@ 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