Use `sed' instead of `cp', which might not be installed.

diff --git a/config.bat b/config.bat
index dfd7505d39d154e2fb082726b4a22b936f5a13df..7216c5ba01791fb48d630e0096b3b8501100f407 100644 (file)
--- a/config.bat
+++ b/config.bat
@@ -129,7 +129,7 @@ rm -f paths.tmp
 \r
 rem   Create "config.h"\r
 rm -f config.h2 config.tmp\r
-cp config.in config.tmp\r
+sed -e '' config.in > config.tmp\r
 if "%X11%" == "" goto src4\r
 sed -f ../msdos/sed2x.inp <config.in >config.tmp\r
 :src4\r