X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffunction-index.texi;h=a41e60de1a3df93226c6c6c2037f126f9f4693e4;hb=a016af53bdf60d1ab95e680e6b31311b21518b75;hp=5b9d3b6cbd2ceddd6a9578dca8695f2c935e1cc9;hpb=1fc3af93c0ba6cbaf7ef09edc979096b6f16dd6f;p=pspp

diff --git a/doc/function-index.texi b/doc/function-index.texi
index 5b9d3b6cbd..a41e60de1a 100644
--- a/doc/function-index.texi
+++ b/doc/function-index.texi
@@ -1,4 +1,3 @@
-@node Function Index, Command Index, Bugs, Top
+@node Function Index
 @chapter Function Index
 @printindex fn
-@setfilename ignored