Improve indexing of 'man'
commit93d83462889ed42bdc67b6c262813fa4f1d0af75
authorEli Zaretskii <eliz@gnu.org>
Fri, 2 Dec 2016 09:10:04 +0000 (2 11:10 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 2 Dec 2016 09:10:04 +0000 (2 11:10 +0200)
treecc8e9e794385ed2b94cb8cd02a0b3b47e272eb77
parentc49198967ae90f97e315dde5a4d1b234200f13df
Improve indexing of 'man'

* doc/emacs/programs.texi (Man Page): Index 'man', not
'manual-entry', as the latter is an alias for the former.
Suggested by Hong Xu <hong@topbug.net>.  (Bug#25033)
doc/emacs/programs.texi