diff config.bat @ 45598:aaff735de38e

Handle the case when lispintro is truncated to lispintr.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 31 May 2002 15:13:10 +0000
parents f0c07caa514e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff
--- a/config.bat	Fri May 31 12:19:57 2002 +0000
+++ b/config.bat	Fri May 31 15:13:10 2002 +0000
@@ -229,7 +229,10 @@
 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   ----------------------------------------------------------------------