X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=6226741463a4086a1d7021e3c159f4043918c0ab;hb=d4fdb8d1a601d45340fc29f0af38f0aef151fb0b;hp=ed1123dbb68ea9a433a5394767655497f843749e;hpb=8af88c0b7ea2fe75df7e45497988ed0371006a86;p=pspp

diff --git a/doc/language.texi b/doc/language.texi
index ed1123dbb6..6226741463 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -1172,6 +1172,7 @@ trailing white space.
 The maximum width for time and date formats is 40 columns.  Minimum
 input and output width for each of the time and date formats is shown
 below:
+
 @float
 @multitable {DATETIME} {Min. Input Width} {Min. Output Width} {4-digit year}
 @headitem Format @tab Min. Input Width @tab Min. Output Width @tab Option 
@@ -1493,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