($(DOC)): Use -o and -a options to make-docfile,

because GNU make doesn't append when using >> redirection.

2 files changed, 7 insertions, 2 deletions

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 4f0c6a07002..be772d81835 100644
--- a/lib-src/ChangeLog
+++ b/lib-src/ChangeLog
@@ -1,3 +1,8 @@
+2002-12-18  Andrew Innes  <andrewi@gnu.org>
+
+        * makefile.w32-in ($(DOC)): Use -o and -a options to make-docfile,
+        because GNU make doesn't append when using >> redirection.
+
 2002-12-12  Jonathan Kamens  <jik@kamens.brookline.ma.us>
 
         * b2m.pl: Make sure every message ends with a blank line, because
diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in
index f6b79b5ddd2..e92a00866ad 100644
--- a/lib-src/makefile.w32-in
+++ b/lib-src/makefile.w32-in
@@ -225,8 +225,8 @@ lisp= \
 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"