# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 790647147 0
# Node ID 49f3296db01dd4ef40fbfe0370e657ddeaa0a227
# Parent  37363b2b94120e2d3b5250e2a65779d0fd2e13a3
Fix sed append command to behave as intended.

diff -r 37363b2b9412 -r 49f3296db01d msdos/sed3.inp
--- a/msdos/sed3.inp	Fri Jan 20 23:48:46 1995 +0000
+++ b/msdos/sed3.inp	Sat Jan 21 00:12:27 1995 +0000
@@ -25,6 +25,4 @@
 /^UTILITIES=/s/ timer//
 /^all *:/s/$/ make-docfile/
 /-o make-docfile/a\
-	coff2exe make-docfile\
-
-# Blank line above
+	coff2exe make-docfile