From 5890e40a277a24d8f0e945c3faea3341ff1d7ed3 Mon Sep 17 00:00:00 2001 From: Stefan Kangas Date: Thu, 3 Nov 2022 16:58:17 +0100 Subject: [PATCH] * admin/authors.el: Don't recommend deprecated fgrep. --- admin/authors.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/authors.el b/admin/authors.el index 12fe25fa4e1..fd8ba9cb01f 100644 --- 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 -- 2.39.2