From 23bfae70fdb3279916fb4aa93255bf5b0cd6b2b9 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Wed, 17 Jan 2024 18:02:01 +0100 Subject: [PATCH] Revert "; * doc/misc/ert.texi (Top): Fix menu entry." This reverts commit 961730ea3f7824244f1e7234c7cf63329d72188c. --- 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 a0f23da8306..bd2ad495142 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. -* Concept Index:: Concept, Function and Variable Index +* Index:: Concept, Function and Variable Index * GNU Free Documentation License:: The license for this documentation. @detailmenu -- 2.39.5