1 files changed, 4 insertions, 4 deletions
diff --git a/GNUmakefile b/GNUmakefile
index e878dbbb55a..a67624e1f73 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
+# If you want non-default build options, or if you want to build in an
-# options, or if you want to build in an out-of-source tree, please
+# out-of-source tree, you should run 'configure' before running 'make'.
-# run "configure" by hand.  But run autogen.sh first, if the source
+# But run 'autogen.sh' first, if the source was checked out directly
-# was checked out directly from the repository.
+# from the repository.
 # If a Makefile already exists, just use it.

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