[Top][All Lists]

[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 15:12:07 -0800
User-agent: 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?

Attachment: make-stds-diff.txt
Description: Text document

reply via email to

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