diff options
author | Eli Zaretskii <eliz@gnu.org> | 2004-08-21 11:58:30 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2004-08-21 11:58:30 +0000 |
commit | ba86d34d9036e2cee5278a1bbf9bb683109ace46 (patch) | |
tree | 60bb5719ef09333effe8a176d693f04786c3b388 | |
parent | 9dc15871b2848d55dcf29d9c1ed0f0e5d3e18d27 (diff) | |
download | emacs-ba86d34d9036e2cee5278a1bbf9bb683109ace46.tar.gz |
(Misc Help): Add an index entry for finding an Info
manual by its file name.
-rw-r--r-- | man/help.texi | 1 |
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 |