* 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...?

diff --git a/doc/misc/info.texi b/doc/misc/info.texi
index 06485d3..384dfde 100644 (file)
--- 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