diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 000000000..81667ace9 --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,7 @@ +# 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. +include Makefile +include $(srcdir)/Makefile.maint |