entered into RCS

diff --git a/config.bat b/config.bat
index d83656c8b20a13f4295bcc6b0bf5805fa3a51de1..dd7922b37660c6ceede482cc206ef633c87cbf87 100644 (file)
--- a/config.bat
+++ b/config.bat
@@ -103,8 +103,16 @@ cd ..
 rem   ----------------------------------------------------------------------\r
 Echo Configuring the library source directory...\r
 cd lib-src\r
+set MAKEFILEIN=makefile.in-in\r
+if exist %MAKEFILEIN% goto libsrc1\r
+set MAKEFILEIN=makefile-in.in\r
+if exist %MAKEFILEIN% goto libsrc1\r
+echo makefile: *** The file originally called "lib-src/Makefile.in.in" cannot be found.\r
+cd ..\r
+goto end\r
+:libsrc1\r
 rem   Create "makefile" from "makefile.in".\r
-sed -e "s@^# \(Generated.*\)$@/* \1 */@" -e "s@/\*\*/#\(.*\)$@/* \1 */@" <Makefile.in >junk.c\r
+sed -e "s@^# \(Generated.*\)$@/* \1 */@" -e "s@/\*\*/#\(.*\)$@/* \1 */@" <%MAKEFILEIN% >junk.c\r
 gcc -E -I. -I../src junk.c | sed -e "s/^ /     /" -e "/^#/d" -e "/^[   \f]*$/d" >Makefile.new\r
 sed -f ../msdos/sed3.inp <makefile.new >makefile\r
 cd ..\r