diff options
author | Glenn Morris <rgm@gnu.org> | 2015-05-08 21:15:48 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2015-05-08 21:15:48 -0400 |
commit | 63bee24f74ebd24ed7816c930efb463485b862c7 (patch) | |
tree | dd74a2a0d42e79054cd1d3edb667f84388742922 /make-dist | |
parent | deb845418b4c5728170f30f7f9b9f930979a562d (diff) |
* build-aux/gitlog-to-emacslog: Get rid of "distprefix".
* Makefile.in (ChangeLog): No longer pass "distprefix".
* make-dist: Update "make ChangeLog" syntax for the above change.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -279,7 +279,7 @@ mkdir ${tempdir} if test -d .git; then echo "Making top-level ChangeLog" - make distprefix=${tempdir}/ ChangeLog + make ChangeLog CHANGELOG=${tempdir}/ChangeLog else echo "No repository, so omitting top-level ChangeLog" fi |