GNU bug report logs - #25033
[PATCH] Add a missing index for `man'.

Previous Next

Package: emacs;

Reported by: Hong Xu <hong <at> topbug.net>

Date: Sat, 26 Nov 2016 09:19:02 UTC

Severity: minor

Tags: patch

Done: Eli Zaretskii <eliz <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#25033: closed ([PATCH] Add a missing index for `man'.)
Date: Fri, 02 Dec 2016 09:16:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Fri, 02 Dec 2016 11:15:00 +0200
with message-id <838tryofor.fsf <at> gnu.org>
and subject line Re: bug#25033: [PATCH] Add a missing index for `man'.
has caused the debbugs.gnu.org bug report #25033,
regarding [PATCH] Add a missing index for `man'.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
25033: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25033
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Hong Xu <hong <at> topbug.net>
To: bug-gnu-emacs <at> gnu.org
Subject: [PATCH] Add a missing index for `man'.
Date: Sat, 26 Nov 2016 01:18:26 -0800
	* programs.texi (Man Page): Add the index for `man'.
---
 doc/emacs/programs.texi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/emacs/programs.texi b/doc/emacs/programs.texi
index e409affd67d1..fc9f8e88b47a 100644
--- a/doc/emacs/programs.texi
+++ b/doc/emacs/programs.texi
@@ -1193,6 +1193,7 @@ Man Page
 with Info (@pxref{Misc Help}).  This process is not finished, so it is
 still useful to read manual pages.
 
+@findex man
 @findex manual-entry
   You can read the man page for an operating system command, library
 function, or system call, with the @kbd{M-x man} command.  This
-- 
2.1.4




[Message part 3 (message/rfc822, inline)]
From: Eli Zaretskii <eliz <at> gnu.org>
To: Hong Xu <hong <at> topbug.net>
Cc: 25033-done <at> debbugs.gnu.org
Subject: Re: bug#25033: [PATCH] Add a missing index for `man'.
Date: Fri, 02 Dec 2016 11:15:00 +0200
> From: Hong Xu <hong <at> topbug.net>
> Cc: 25033 <at> debbugs.gnu.org
> Date: Sat, 26 Nov 2016 11:17:35 -0800
> 
> How about this: replace all "manual-entry" with "man" in the section,
> and remove the "manual-entry" index as well. In this way, the total
> number of indices won't increase. It also fixes the inconsistency --
> both "M-x manual-entry" and "M-x man" are used without pointing out they
> are the same thing.

Done, thanks for the suggestion.


This bug report was last modified 8 years and 234 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.