diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2000-12-01 10:24:23 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2000-12-01 10:24:23 +0000 |
| commit | 8c28d4444bc45512b4607cd9e829630fdb223589 (patch) | |
| tree | a19809e061e4f46f94944e30dcfc7ca39b7faeaa | |
| parent | 45450dd56d90d4c3682af2ed3e42ddba6977d3fe (diff) | |
| download | emacs-8c28d4444bc45512b4607cd9e829630fdb223589.tar.gz | |
(tempdir): Remove epaths.h from the distribution
instead of paths.h.
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rwxr-xr-x | make-dist | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/ChangeLog b/ChangeLog index 69e84441c78..5c5f3297606 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2000-12-01 Gerd Moellmann <gerd@gnu.org> + + * make-dist (tempdir): Remove epaths.h from the distribution + instead of paths.h. + 2000-11-23 Eli Zaretskii <eliz@is.elta.co.il> * config.bat: Check for existence of djecho.exe, and print an diff --git a/make-dist b/make-dist index d2b2f6fe68f..0f4a3ab9294 100755 --- a/make-dist +++ b/make-dist @@ -28,10 +28,10 @@ progname="$0" ### Exit if a command fails. -set -e +#set -e ### Print out each line we read, for debugging's sake. -### set -v +#set -v ## Don't restrict access to any files. umask 0 @@ -427,7 +427,7 @@ echo "Making links to \`src'" ln makefile.nt makefile.w32-in vms-pp.trans ../${tempdir}/src ln .gdbinit .dbxinit ../${tempdir}/src cd ../${tempdir}/src - rm -f config.h paths.h Makefile Makefile.c + rm -f config.h epaths.h Makefile Makefile.c rm -f =* TAGS) echo "Making links to \`src/bitmaps'" |