diff options
| author | Andrew Innes <andrewi@gnu.org> | 2002-12-18 23:53:01 +0000 |
|---|---|---|
| committer | Andrew Innes <andrewi@gnu.org> | 2002-12-18 23:53:01 +0000 |
| commit | cf6d30d70422b3d7826cbfb065173d8008462e09 (patch) | |
| tree | decc3775603b85c8a78dc1ff2178dbb92837a966 /lib-src | |
| parent | dd4461ace4e7ffaa0bde318191ac079f28886fb8 (diff) | |
| download | emacs-cf6d30d70422b3d7826cbfb065173d8008462e09.tar.gz | |
($(DOC)): Use -o and -a options to make-docfile,
because GNU make doesn't append when using >> redirection.
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" |