diff options
-rw-r--r-- | ChangeLog | 2 | ||||
-rwxr-xr-x | make-dist | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 4ca59ae5ce0..09624a6cf96 100644 --- a/ChangeLog +++ b/ChangeLog @@ -12,6 +12,8 @@ Instead of info/dir entries, check @dircategory in info/*.info. * make-dist: Use `info' rule rather than `info-real'. No more info/COPYING (not even the right license for info/ files). + Distribute new build-aux files. + * info/: Remove from repository. 2013-12-11 Glenn Morris <rgm@gnu.org> diff --git a/make-dist b/make-dist index 20473e0dbb8..17f54419606 100755 --- a/make-dist +++ b/make-dist @@ -340,10 +340,12 @@ echo "Making links to \`leim' and its subdirectories" ln Makefile.in ../${tempdir}/leim/Makefile.in ln leim-ext.el ../${tempdir}/leim/leim-ext.el) +## FIXME Can we not just use the "find -type f" method for this one? echo "Making links to \`build-aux'" (cd build-aux ln compile config.guess config.sub depcomp msys-to-w32 ../${tempdir}/build-aux - ln install-sh missing move-if-change update-subdirs ../${tempdir}/build-aux) + ln install-sh missing move-if-change update-subdirs ../${tempdir}/build-aux + ln dir_top make-info-dir ../${tempdir}/build-aux) echo "Making links to \`build-aux/snippet'" (cd build-aux/snippet |