[Top][All Lists]

[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 <address@hidden>
> Cc: address@hidden
> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]