From 961730ea3f7824244f1e7234c7cf63329d72188c Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Thu, 4 Jan 2024 14:05:20 +0100 Subject: [PATCH] ; * doc/misc/ert.texi (Top): Fix menu entry. --- doc/misc/ert.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/misc/ert.texi b/doc/misc/ert.texi index 592fa212a7d..3387ee18e05 100644 --- 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 -- 2.39.5