[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Emacs-diffs] master d0da7ee: * GNUmakefile: Update comment.
From: |
Paul Eggert |
Subject: |
[Emacs-diffs] master d0da7ee: * GNUmakefile: Update comment. |
Date: |
Tue, 16 Apr 2019 14:04:48 -0400 (EDT) |
branch: master
commit d0da7ee82e6b0f952eae1069ec592bb466f71ed3
Author: Paul Eggert <address@hidden>
Commit: Paul Eggert <address@hidden>
* GNUmakefile: Update comment.
---
GNUmakefile | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/GNUmakefile b/GNUmakefile
index e878dbb..a67624e 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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Emacs-diffs] master d0da7ee: * GNUmakefile: Update comment.,
Paul Eggert <=