changeset 48895:e38db3290311

*** empty log message ***
author Andrew Innes <andrewi@gnu.org>
date Wed, 18 Dec 2002 23:53:01 +0000
parents 18c79e584eb1
children 41a95e836e30
files lib-src/ChangeLog
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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