diff options
author | Eli Zaretskii <eliz@gnu.org> | 2002-05-31 15:13:32 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2002-05-31 15:13:32 +0000 |
commit | 86bbfe7774359a43ecdb474845d24a6bfd825ba7 (patch) | |
tree | 1bf63e4d88235ed9087545770d806e4ee9e79cb4 /config.bat | |
parent | 5834ac9207ea4856abd41efcf4666adb46dce2ec (diff) | |
download | emacs-86bbfe7774359a43ecdb474845d24a6bfd825ba7.tar.gz |
Handle the case when lispintro is truncated to lispintr.
Diffstat (limited to 'config.bat')
-rw-r--r-- | config.bat | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config.bat b/config.bat index cba230f9d87..5d9f7718c7f 100644 --- a/config.bat +++ b/config.bat @@ -229,7 +229,10 @@ sed -f ../msdos/sed6.inp < Makefile.in > Makefile cd ..
rem ----------------------------------------------------------------------
Echo Configuring the ELisp Introduction manual directory...
-cd lispintro
+Rem The two variants for the line below is for when the shell
+Rem supports long file names but DJGPP does not
+if exist lispintro\Makefile.in cd lispintro
+if exist lispintr\Makefile.in cd lispintr
sed -f ../msdos/sed6.inp < Makefile.in > Makefile
cd ..
rem ----------------------------------------------------------------------
|