[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25033: [PATCH] Add a missing index for `man'.
From: |
Eli Zaretskii |
Subject: |
bug#25033: [PATCH] Add a missing index for `man'. |
Date: |
Fri, 02 Dec 2016 11:15:00 +0200 |
> From: Hong Xu <hong@topbug.net>
> Cc: 25033@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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#25033: [PATCH] Add a missing index for `man'.,
Eli Zaretskii <=