diff options
| -rw-r--r-- | GNUmakefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index da9170b..1fd5a4c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,2 +1,8 @@ -include build-aux/GNUmakefile -include $(srcdir)/maint-cfg.mk +have-gnulib-files := $(shell test -f gnulib.mk && test -f maint.mk && echo yes) +ifneq ($(have-gnulib-files),yes) +gnulib.mk: + ln -s build-aux/GNUmakefile gnulib.mk + ln -s build-aux/maint.mk maint.mk +endif + +include gnulib.mk |