diff options
Diffstat (limited to 'lib-src')
| -rw-r--r-- | lib-src/ChangeLog | 5 | ||||
| -rw-r--r-- | lib-src/makefile.w32-in | 4 |
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" |