X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconcept-index.texi;h=29d8a624d2cbae8b329e57aabd438eb081b45473;hb=refs%2Fheads%2Flexer;hp=efc2f9dad480b710500b3d54018153500137480d;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp

diff --git a/doc/concept-index.texi b/doc/concept-index.texi
index efc2f9dad4..29d8a624d2 100644
--- a/doc/concept-index.texi
+++ b/doc/concept-index.texi
@@ -1,4 +1,3 @@
-@node Concept Index, Configuration, Command Index, Top
+@node Concept Index
 @chapter Concept Index
 @printindex cp
-@setfilename ignored