diff options
Diffstat (limited to 'maintMakefile')
| -rw-r--r-- | maintMakefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/maintMakefile b/maintMakefile index 99d649b6..83eab90f 100644 --- a/maintMakefile +++ b/maintMakefile @@ -17,9 +17,6 @@ GPG_KEYID := 80CB727A20C79BB2 # SRCROOTDIR is just a handy location to keep source files in SRCROOTDIR ?= $(HOME)/src -# Where the gnulib project has been locally cloned -GNULIBDIR ?= $(SRCROOTDIR)/gnulib - # Where to put the CVS checkout of the GNU web repository GNUWEBDIR ?= $(SRCROOTDIR)/gnu-www @@ -118,13 +115,16 @@ GIT := git git-clean: -$(GIT) clean -fdX git-very-clean: git-clean - -$(GIT) clean -fd + -$(GIT) clean -fdx ## ---------------------- ## ## Generating ChangeLog. ## ## ---------------------- ## +# Where the gnulib project has been locally cloned +GNULIBDIR ?= $(or $(wildcard $(GNULIB_SRCDIR)),./gnulib) + gl2cl-date := 2013-10-10 gl2cl := $(GNULIBDIR)/build-aux/gitlog-to-changelog |