changeset 48894:18c79e584eb1

($(DOC)): Use -o and -a options to make-docfile, because GNU make doesn't append when using >> redirection.
author Andrew Innes <andrewi@gnu.org>
date Wed, 18 Dec 2002 23:52:39 +0000
parents 7320714f3cba
children e38db3290311
files lib-src/makefile.w32-in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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"