diff options
author | Glenn Morris <[email protected]> | 2012-05-21 15:16:27 -0400 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2012-05-21 15:16:27 -0400 |
commit | be17565ba2ce41ea1c23004e483386b2598f7317 (patch) | |
tree | c93daf64d0b19bb1c6be98f8ca41b3d5d2454992 /make-dist | |
parent | fb77d37e482531da9da27bec77c87a56c6f5ce40 (diff) |
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
@@ -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" |