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