# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 789783706 0
# Node ID 7826b6c2b6e81e112b66af50b280531dfe33f2af
# Parent  1d0a7f841ffb70d1874ec4e0368e566129afa87f
Use coff2exe on make-docfile, instead of go32 when running it.

diff -r 1d0a7f841ffb -r 7826b6c2b6e8 msdos/sed3.inp
--- a/msdos/sed3.inp	Tue Jan 10 23:29:27 1995 +0000
+++ b/msdos/sed3.inp	Wed Jan 11 00:21:46 1995 +0000
@@ -23,3 +23,6 @@
 /^UTILITIES=/s/ movemail//
 /^UTILITIES=/s/ emacsserver//
 /^UTILITIES=/s/ timer//
+/-o make-docfile/a\
+	coff2exe make-docfile\
+.