bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: cmp/diff


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.



reply via email to

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