; * doc/misc/ert.texi (Top): Fix menu entry.

diff --git a/doc/misc/ert.texi b/doc/misc/ert.texi
index 592fa212a7d38ae7e72342255f395aa612378c88..3387ee18e0591cf6f401a2f3b01618fdbe98f539 100644 (file)
--- a/doc/misc/ert.texi
+++ b/doc/misc/ert.texi
@@ -63,7 +63,7 @@ traditional software development methods.
 * How to Debug Tests::          What to do if a test fails.
 * Extending ERT::               ERT is extensible in several ways.
 * Other Testing Concepts::      Features not in ERT.
-* Index::                       Concept, Function and Variable Index
+* Concept Index::               Concept, Function and Variable Index
 * GNU Free Documentation License::  The license for this documentation.
 
 @detailmenu