Re: cmp/diff

[Paul Eggert]

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?

make-stds-diff.txt
Description: Text document