* GNUmakefile: Update comment.

diff --git a/GNUmakefile b/GNUmakefile
index e878dbbb55a179e46798c7a06b7f5876c642f2e9..a67624e1f735ae147b353e5c4498777ffee3ea20 100644 (file)
--- 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.