]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 13 Nov 2022 18:44:49 +0000 (10:44 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 13 Nov 2022 18:53:24 +0000 (10:53 -0800)
doc/make-stds.texi

index b0745a8a3eed87daf4394df476f6e78901819df9..132476c7a383fe6f74175810867dc223273a7b21 100644 (file)
@@ -160,7 +160,7 @@ installation should not use any utilities directly except these:
 @c mkfifo mknod tee uname
 
 @example
-awk cat cmp cp diff echo egrep expr false grep install-info ln ls
+awk cat cmp cp diff echo expr false grep install-info ln ls
 mkdir mv printf pwd rm rmdir sed sleep sort tar test touch tr true
 @end example
 
@@ -1135,7 +1135,7 @@ programs except for these:
 
 @example
 [ basename bash cat chgrp chmod chown cmp cp dd diff echo
-egrep expand expr false fgrep find getopt grep gunzip gzip
+expand expr false find getopt grep gunzip gzip
 hostname install install-info kill ldconfig ln ls md5sum
 mkdir mkfifo mknod mv printenv pwd rm rmdir sed sort tee
 test touch true uname xargs yes