X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconcept-index.texi;h=efc2f9dad480b710500b3d54018153500137480d;hb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;hp=06dfc78efd612b2720e8c085e4d6907d65f6b4f7;hpb=1fc3af93c0ba6cbaf7ef09edc979096b6f16dd6f;p=pspp

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