|
| From: | Paul Eggert |
| Subject: | Re: cmp/diff |
| Date: | Sat, 26 Dec 2020 16:23:56 -0800 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.5.0 |
On 12/26/20 4:07 PM, Alfred M. Szmidt wrote:
install-info does not have an replacement, like say egrep/fgrep -- this is how we install a dir entry for a info manual. Removing install-info would be a regression.
In practice, GNU installation procedures use install-info in the way that's described in the proposed patch: they test whether install-info is available, and if so they use it. The make-stds.texi file already recomments this practice in its "Standard Targets" section. The proposed patch is doing merely making make-stds coherent; it's not advocating any change to existing best practice for install-info.
| [Prev in Thread] | Current Thread | [Next in Thread] |