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

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

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 4f0c6a07002c38f00209a0b80a4a029ddd37de9d..be772d81835194a933e427b2f8ce906b285a37fb 100644 (file)
--- 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 f6b79b5ddd2a8bb6004099919f31931ffdd43714..e92a00866ad506351b656eb131e73bc35eaa4a3e 100644 (file)
--- 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"