diff options
-rwxr-xr-x | make-dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make-dist b/make-dist index 43eb50c44ec..9f7bb4bba60 100755 --- a/make-dist +++ b/make-dist @@ -153,6 +153,7 @@ ln GETTING.GNU.SOFTWARE INSTALL PROBLEMS README BUGS move-if-change ${tempdir} ln ChangeLog Makefile.in configure configure.in ${tempdir} ln config.bat make-dist update-subdirs vpath.sed ${tempdir} ### Copy these files; they're cross-filesystem symlinks. +cp mkinstalldirs ${tempdir} cp config.sub ${tempdir} cp config.guess ${tempdir} cp install.sh ${tempdir} |