# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 1040255581 0
# Node ID e38db329031147448eee1bb4dd67dd32f5e9933f
# Parent  18c79e584eb1bb11baec6df2b70184eba6f587f6
*** empty log message ***

diff -r 18c79e584eb1 -r e38db3290311 lib-src/ChangeLog
--- a/lib-src/ChangeLog	Wed Dec 18 23:52:39 2002 +0000
+++ b/lib-src/ChangeLog	Wed Dec 18 23:53:01 2002 +0000
@@ -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