diff options
| author | Paul Smith <psmith@gnu.org> | 2022-09-10 18:27:37 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2022-09-10 18:35:41 -0400 |
| commit | 77706874a75799b78bffc622067ca35ddab0c7f8 (patch) | |
| tree | e135512c2111d51e1d1fc4c31050b026c1b2dcde /maintMakefile | |
| parent | a9548aeb8f5ea0a81a70ff6be6b15b0350a715b3 (diff) | |
| download | make-git-77706874a75799b78bffc622067ca35ddab0c7f8.tar.gz | |
Clean up maintMakefile
Notes provided by Tzvetelin Katchov <katchov@gnu.org>
* maintMakefile (git-very-clean): Add -x to git clean.
(GNULIBDIR): Use GNULIB_SRCDIR, or the local module if not set.
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 |