[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Sat, 26 Dec 2020 15:12:07 -0800
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.5.0
On 12/26/20 1:55 PM, Simon Josefsson wrote:
Looking at that list now, the only obvious tool to remove is egrep,
since 'grep -E' subsumes it nowadays.
Yes, I think that should be dropped.
What about 'install-info'? It is quite GNU-specific. Nothing in
gnulib appears to refer to it (except for the make-stds manual..).
Sure, attached is a proposed patch to make-stds.texi. This patch also
removes fgrep, which is in the same category as egrep. I am sending this
email to bug-standards so that they can see it as a suggestion.
Also, it puzzles me that the set of pre-installation and
post-installation commands is a superset of the set of commands that can
appear in "the Makefile rules for building and installation". Since pre-
and post-installation commands appear in Makefiles, shouldn't their
commands be a subset, not a superset?
Description: Text document
- Re: cmp/diff,
Paul Eggert <=