]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sun, 6 Nov 2022 14:13:58 +0000 (06:13 -0800)
committerKarl Berry <karl@freefriends.org>
Sun, 6 Nov 2022 14:13:58 +0000 (06:13 -0800)
doc/make-stds.texi

index 132476c7a383fe6f74175810867dc223273a7b21..b0745a8a3eed87daf4394df476f6e78901819df9 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 expr false grep install-info ln ls
+awk cat cmp cp diff echo egrep 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
-expand expr false find getopt grep gunzip gzip
+egrep expand expr false fgrep 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