X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffunction-index.texi;h=2a63e136f5657721ca8dbfb392f105a257df6f2a;hb=e4f0ca7496fbdc377a211693df853245981c46b5;hp=5b9d3b6cbd2ceddd6a9578dca8695f2c935e1cc9;hpb=1fc3af93c0ba6cbaf7ef09edc979096b6f16dd6f;p=pspp diff --git a/doc/function-index.texi b/doc/function-index.texi index 5b9d3b6cbd..2a63e136f5 100644 --- a/doc/function-index.texi +++ b/doc/function-index.texi @@ -1,4 +1,4 @@ -@node Function Index, Command Index, Bugs, Top +@node Function Index @chapter Function Index @printindex fn @setfilename ignored