summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEli Zaretskii <eliz@gnu.org>2004-08-21 11:58:30 +0000
committerEli Zaretskii <eliz@gnu.org>2004-08-21 11:58:30 +0000
commitba86d34d9036e2cee5278a1bbf9bb683109ace46 (patch)
tree60bb5719ef09333effe8a176d693f04786c3b388
parent9dc15871b2848d55dcf29d9c1ed0f0e5d3e18d27 (diff)
downloademacs-ba86d34d9036e2cee5278a1bbf9bb683109ace46.tar.gz
(Misc Help): Add an index entry for finding an Info
manual by its file name.
-rw-r--r--man/help.texi1
1 files changed, 1 insertions, 0 deletions
diff --git a/man/help.texi b/man/help.texi
index 3f7419981d2..a3c307e5d3b 100644
--- a/man/help.texi
+++ b/man/help.texi
@@ -455,6 +455,7 @@ is available within Info. Eventually all the documentation of the GNU
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