From d1e4d89b325af255644cb030ba9e5bdae7c2d69c Mon Sep 17 00:00:00 2001 From: Glenn Morris <rgm@gnu.org> Date: Mon, 25 Oct 2021 17:33:11 +0100 Subject: [PATCH] * doc/misc/cc-mode.texi (Font Locking): Fix menu. --- doc/misc/cc-mode.texi | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/misc/cc-mode.texi b/doc/misc/cc-mode.texi index c255d9870fb..a2ff572a3f4 100644 --- a/doc/misc/cc-mode.texi +++ b/doc/misc/cc-mode.texi @@ -1857,6 +1857,7 @@ sections apply to the other languages. * Faces:: * Doc Comments:: * Wrong Comment Style:: +* Found Types:: * Misc Font Locking:: * AWK Mode Font Locking:: @end menu -- 2.39.5