aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEli Zaretskii <[email protected]>2002-05-31 15:13:32 +0000
committerEli Zaretskii <[email protected]>2002-05-31 15:13:32 +0000
commit86bbfe7774359a43ecdb474845d24a6bfd825ba7 (patch)
tree1bf63e4d88235ed9087545770d806e4ee9e79cb4
parent5834ac9207ea4856abd41efcf4666adb46dce2ec (diff)
Handle the case when lispintro is truncated to lispintr.
-rw-r--r--ChangeLog4
-rw-r--r--config.bat5
2 files changed, 8 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 331350790a..1b3cd9b2c5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2002-05-31 Eli Zaretskii <[email protected]>
+
+ * config.bat: Handle the case when lispintro is truncated to lispintr.
+
2002-05-26 Paul Eggert <[email protected]>
* config.guess, config.sub: Updated from master source.
diff --git a/config.bat b/config.bat
index cba230f9d8..5d9f7718c7 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 ----------------------------------------------------------------------