From c89f0e99eab274814b3d9dece0a777cc616693f1 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Thu, 27 Feb 2014 22:33:23 -0800 Subject: [PATCH] * doc/misc/info.texi (Help-Xref): Add submenu. This placates makeinfo 5.2, which otherwise actually emits a warning; surely a flagrant breach of the makeinfo philosophy...? --- doc/misc/info.texi | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/misc/info.texi b/doc/misc/info.texi index 06485d342bd..384dfde2dc6 100644 --- a/doc/misc/info.texi +++ b/doc/misc/info.texi @@ -809,6 +809,11 @@ set @code{Info-hide-note-references} to a value other than @code{t} @end format +@menu +* Help-Cross:: Target of a cross-reference. +@end menu + + @node Help-Cross, , , Help-Xref @subsection The node reached by the cross reference in Info -- 2.39.2