X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fcommand-index.texi;h=c53b1db6e86af0c1ef9f593b1d37480105a77ef7;hb=00feff7775f55b3292d1f9461a79dde54b9eb2ba;hp=12ad857516be704f228585e2b7d4958b09cc63fd;hpb=522f263565607b97b83d26bff49b5fa44704df33;p=pspp-builds.git

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