From 45cdceb92243260895d83e099aaffbbf0bb2d6e8 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Sun, 13 Jul 1997 20:47:45 +0000
Subject: [PATCH] Use `sed' instead of `cp', which might not be installed.

---
 config.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.bat b/config.bat
index dfd7505d39d..7216c5ba017 100644
--- a/config.bat
+++ b/config.bat
@@ -129,7 +129,7 @@ rm -f paths.tmp
 
 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
-- 
2.39.5