diff options
| author | Paul Eggert | 2019-04-16 11:04:16 -0700 |
|---|---|---|
| committer | Paul Eggert | 2019-04-16 11:04:43 -0700 |
| commit | d0da7ee82e6b0f952eae1069ec592bb466f71ed3 (patch) | |
| tree | 62f9299abd93f637d2ea16b131fdd9e5a7768cb3 | |
| parent | d07863fd6e61894490e8c588f290b2a5dae76494 (diff) | |
| download | emacs-d0da7ee82e6b0f952eae1069ec592bb466f71ed3.tar.gz emacs-d0da7ee82e6b0f952eae1069ec592bb466f71ed3.zip | |
* GNUmakefile: Update comment.
| -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 @@ | |||
| 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 | ||