diff options
author | Glenn Morris <rgm@gnu.org> | 2012-05-21 15:16:27 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2012-05-21 15:16:27 -0400 |
commit | be17565ba2ce41ea1c23004e483386b2598f7317 (patch) | |
tree | c93daf64d0b19bb1c6be98f8ca41b3d5d2454992 /make-dist | |
parent | fb77d37e482531da9da27bec77c87a56c6f5ce40 (diff) | |
download | emacs-be17565ba2ce41ea1c23004e483386b2598f7317.tar.gz |
Remove vpath.sed; unused for literally decades AFAICS
* vpath.sed: Remove unused file.
* make-dist: No more vpath.sed.
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 9cf6af09e41..1e8fc9178f1 100755 --- a/make-dist +++ b/make-dist @@ -285,7 +285,7 @@ mkdir ${tempdir} echo "Making links to top-level files" ln INSTALL README BUGS ${tempdir} ln ChangeLog Makefile.in configure configure.in ${tempdir} -ln config.bat make-dist update-subdirs vpath.sed .dir-locals.el ${tempdir} +ln config.bat make-dist update-subdirs .dir-locals.el ${tempdir} ln aclocal.m4 ${tempdir} echo "Creating subdirectories" |