# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 868826865 0
# Node ID 31e6205f80b6951aeeef5d49d59e183739d81ddf
# Parent  ac2e7e21abb0bd024c9534d0625a2a9699d69ed3
Use `sed' instead of `cp', which might not be installed.

diff -r ac2e7e21abb0 -r 31e6205f80b6 config.bat
--- a/config.bat	Sun Jul 13 20:43:31 1997 +0000
+++ b/config.bat	Sun Jul 13 20:47:45 1997 +0000
@@ -129,7 +129,7 @@
 
 rem   Create "config.h"
 rm -f config.h2 config.tmp
-cp config.in config.tmp
+sed -e '' config.in > config.tmp
 if "%X11%" == "" goto src4
 sed -f ../msdos/sed2x.inp <config.in >config.tmp
 :src4