X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fcommand-index.texi;h=d26f9074704f2ac3024871f07403aae4e80e069f;hb=0618de5992e81fb4777a1a638e590ae7a81fd332;hp=12ad857516be704f228585e2b7d4958b09cc63fd;hpb=1fc3af93c0ba6cbaf7ef09edc979096b6f16dd6f;p=pspp

diff --git a/doc/command-index.texi b/doc/command-index.texi
index 12ad857516..d26f907470 100644
--- a/doc/command-index.texi
+++ b/doc/command-index.texi
@@ -1,4 +1,3 @@
-@node Command Index, Concept Index, Function Index, Top
+@node Command Index
 @chapter Command Index
 @printindex vr
-@setfilename ignored