# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1093089510 0
# Node ID d6c81d81255ee221de175c22444fff84668f5bfe
# Parent  01528b0a38df5813f3f28afca49293b4c6740d86
(Misc Help): Add an index entry for finding an Info
manual by its file name.

diff -r 01528b0a38df -r d6c81d81255e man/help.texi
--- a/man/help.texi	Sat Aug 21 11:31:45 2004 +0000
+++ b/man/help.texi	Sat Aug 21 11:58:30 2004 +0000
@@ -455,6 +455,7 @@
 system will be available.  Type @kbd{h} after entering Info to run
 a tutorial on using Info.
 
+@cindex find Info manual by its file name
   If you specify a numeric argument, @kbd{C-h i} prompts for the name of
 a documentation file.  This way, you can browse a file which doesn't
 have an entry in the top-level Info menu.  It is also handy when you