($(DOC)): Use -o and -a options to make-docfile,
authorAndrew Innes <andrewi@gnu.org>
Wed, 18 Dec 2002 23:53:01 +0000 (23:53 +0000)
committerAndrew Innes <andrewi@gnu.org>
Wed, 18 Dec 2002 23:53:01 +0000 (23:53 +0000)
commitcf6d30d70422b3d7826cbfb065173d8008462e09
treedecc3775603b85c8a78dc1ff2178dbb92837a966
parentdd4461ace4e7ffaa0bde318191ac079f28886fb8
($(DOC)): Use -o and -a options to make-docfile,
because GNU make doesn't append when using >> redirection.
lib-src/ChangeLog
lib-src/makefile.w32-in