X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffunction-index.texi;h=a41e60de1a3df93226c6c6c2037f126f9f4693e4;hb=HEAD;hp=2a63e136f5657721ca8dbfb392f105a257df6f2a;hpb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;p=pspp-builds.git

diff --git a/doc/function-index.texi b/doc/function-index.texi
index 2a63e136..a41e60de 100644
--- a/doc/function-index.texi
+++ b/doc/function-index.texi
@@ -1,4 +1,3 @@
 @node Function Index
 @chapter Function Index
 @printindex fn
-@setfilename ignored