diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2019-04-16 11:04:16 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2019-04-16 11:04:43 -0700 |
| commit | d0da7ee82e6b0f952eae1069ec592bb466f71ed3 (patch) | |
| tree | 62f9299abd93f637d2ea16b131fdd9e5a7768cb3 /GNUmakefile | |
| parent | d07863fd6e61894490e8c588f290b2a5dae76494 (diff) | |
| download | emacs-d0da7ee82e6b0f952eae1069ec592bb466f71ed3.tar.gz | |
* GNUmakefile: Update comment.
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 8 |
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 -# 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. |