# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 768034895 0
# Node ID 68d20ebaf64e5832d3b2b3be1a866a2fa2d963c4
# Parent  102e78c0fb9a01f1cef576436f9046d2f76cb51e
entered into RCS

diff -r 102e78c0fb9a -r 68d20ebaf64e config.bat
--- a/config.bat	Wed May 04 05:48:53 1994 +0000
+++ b/config.bat	Wed May 04 07:01:35 1994 +0000
@@ -103,8 +103,16 @@
 rem   ----------------------------------------------------------------------
 Echo Configuring the library source directory...
 cd lib-src
+set MAKEFILEIN=makefile.in-in
+if exist %MAKEFILEIN% goto libsrc1
+set MAKEFILEIN=makefile-in.in
+if exist %MAKEFILEIN% goto libsrc1
+echo makefile: *** The file originally called "lib-src/Makefile.in.in" cannot be found.
+cd ..
+goto end
+:libsrc1
 rem   Create "makefile" from "makefile.in".
-sed -e "s@^# \(Generated.*\)$@/* \1 */@" -e "s@/\*\*/#\(.*\)$@/* \1 */@" <Makefile.in >junk.c
+sed -e "s@^# \(Generated.*\)$@/* \1 */@" -e "s@/\*\*/#\(.*\)$@/* \1 */@" <%MAKEFILEIN% >junk.c
 gcc -E -I. -I../src junk.c | sed -e "s/^ /	/" -e "/^#/d" -e "/^[ 	]*$/d" >Makefile.new
 sed -f ../msdos/sed3.inp <makefile.new >makefile
 cd ..