diff options
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 972384d69..861ce8e38 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,8 +1,8 @@ # Having a separate GNUmakefile lets me `include' the dynamically # generated rules created via Makefile.maint as well as Makefile.maint itself. # This makefile is used only if you run GNU Make. -# It is necessary if you modify files in the m4/ directory or -# want to build targets usually of interest only to the maintainer. +# It is necessary if you want to build targets usually of interest +# only to the maintainer. have-Makefile := $(shell test -f Makefile && echo yes) |