# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 1040255559 0
# Node ID 18c79e584eb1bb11baec6df2b70184eba6f587f6
# Parent  7320714f3cbaad6fd01b210edb15e59886445737
($(DOC)): Use -o and -a options to make-docfile,
because GNU make doesn't append when using >> redirection.

diff -r 7320714f3cba -r 18c79e584eb1 lib-src/makefile.w32-in
--- a/lib-src/makefile.w32-in	Wed Dec 18 23:45:45 2002 +0000
+++ b/lib-src/makefile.w32-in	Wed Dec 18 23:52:39 2002 +0000
@@ -225,8 +225,8 @@
 DOC	      = DOC
 $(DOC):		make-docfile
 		- $(DEL) $(DOC)
-		"$(THISDIR)/$(BLD)/make-docfile" -d ../src $(obj) > $(DOC)
-		"$(THISDIR)/$(BLD)/make-docfile" -d ../src $(lisp) >> $(DOC)
+		"$(THISDIR)/$(BLD)/make-docfile" -o $(DOC) -d ../src $(obj)
+		"$(THISDIR)/$(BLD)/make-docfile" -a $(DOC) -d ../src $(lisp)
 		$(CP) $(DOC) ../etc/DOC-X
 		- mkdir "../src/$(OBJDIR)"
 		- mkdir "../src/$(OBJDIR)/etc"