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) | |
| download | emacs-63bee24f74ebd24ed7816c930efb463485b862c7.tar.gz | |
* 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
diff --git a/make-dist b/make-dist index 441070fd7c0..1b44f901c17 100755 --- a/make-dist +++ b/make-dist @@ -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 |