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

This reverts commit 961730ea3f7824244f1e7234c7cf63329d72188c.

diff --git a/doc/misc/ert.texi b/doc/misc/ert.texi
index a0f23da83065379d68d067a69581736dbbd26a51..bd2ad495142d114d7af6004a52fe9899f87c8776 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.
-* Concept Index::               Concept, Function and Variable Index
+* Index::                       Concept, Function and Variable Index
 * GNU Free Documentation License::  The license for this documentation.
 
 @detailmenu