* admin/authors.el: Don't recommend deprecated fgrep.

diff --git a/admin/authors.el b/admin/authors.el
index 12fe25fa4e1a6ca8bfc1f6d8e5980faa9f79c56a..fd8ba9cb01ff57e1497de7e0d48f09e8b97c52b4 100644 (file)
--- a/admin/authors.el
+++ b/admin/authors.el
@@ -990,7 +990,7 @@ in the repository.")
 ;; to how a file was mentioned in the respective ChangeLog.  It is
 ;; advisable to run a Grep command such as
 ;;
-;;   fgrep -R BASENAME . --include='ChangeLog*'
+;;   grep -F -R BASENAME . --include='ChangeLog*'
 ;;
 ;; where BASENAME is the old basename of the renamed file.  This will
 ;; show all the different reference forms of the file in the various