diff options
author | Eli Zaretskii <eliz@gnu.org> | 2002-05-31 15:13:10 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2002-05-31 15:13:10 +0000 |
commit | e1b767d2241319e29aab02b20dc6919077f89e42 (patch) | |
tree | a75e9fd7b3c1657187f2d8c0f365aeab5a11ca3d | |
parent | b9c70a57fbcfa83d4e66bf7011fc014bb678fd5f (diff) | |
download | emacs-e1b767d2241319e29aab02b20dc6919077f89e42.tar.gz |
Handle the case when lispintro is truncated to lispintr.
-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 ----------------------------------------------------------------------
|