[Emacs-diffs] master d0da7ee: * GNUmakefile: Update comment.

[Paul Eggert]

branch: master
commit d0da7ee82e6b0f952eae1069ec592bb466f71ed3
Author: Paul Eggert <address@hidden>
Commit: Paul Eggert <address@hidden>

    * GNUmakefile: Update comment.
---
 GNUmakefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/GNUmakefile b/GNUmakefile
index e878dbb..a67624e 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -27,10 +27,10 @@
 # newly-built Makefile.  If the source tree is already configured,
 # this file defers to the existing Makefile.
 
-# If you are using a non-GNU 'make', or if you want non-default build
-# options, or if you want to build in an out-of-source tree, please
-# run "configure" by hand.  But run autogen.sh first, if the source
-# was checked out directly from the repository.
+# If you want non-default build options, or if you want to build in an
+# out-of-source tree, you should run 'configure' before running 'make'.
+# But run 'autogen.sh' first, if the source was checked out directly
+# from the repository.
 
 # If a Makefile already exists, just use it.