X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=6226741463a4086a1d7021e3c159f4043918c0ab;hb=2643958c80bcf6132a8f3be20bc59a845545a195;hp=43af0af70d6900c67c37eef2a8a9735b4e57bd30;hpb=c54e462a57d5a53a7db97d064cde383eaaa30fe9;p=pspp-builds.git

diff --git a/doc/language.texi b/doc/language.texi
index 43af0af7..62267414 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -1494,4 +1494,3 @@ The first nonterminal defined in a set of productions is called the
 @dfn{start symbol}.  The start symbol defines the entire syntax for
 that command.
 @end itemize
-@setfilename ignored