# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1022857990 0
# Node ID aaff735de38ef64931908c0b1ad5fd36fc790f1c
# Parent  c85054b077e67cce787a00ca3abc5b173ac79da3
Handle the case when lispintro is truncated to lispintr.

diff -r c85054b077e6 -r aaff735de38e config.bat
--- 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   ----------------------------------------------------------------------