From d0da7ee82e6b0f952eae1069ec592bb466f71ed3 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Tue, 16 Apr 2019 11:04:16 -0700 Subject: [PATCH] * GNUmakefile: Update comment. --- GNUmakefile | 8 ++++---- 1 file 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 -# 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. -- 2.39.2