diff --git a/ChangeLog b/ChangeLog
index 1eea76f0967a930bf6f42d26e875a69d4d28e280..47d55c85fd02bf006f59ff85628181cdd273da73 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2002-08-15  Per Cederqvist  <ceder@ceder.dyndns.org>
 
+	"make check" may now work with Python 1.5.
+	* doc/checkargs.py (prot_a_type.use): Don't use +=.
+	(reader.getc_eofok): Ditto.
+	(lexer.toplevel_rarg): Ditto.
+	(lexer.toplevel_aarg): Ditto.
+
 	"make check" should no longer require gawk.
 	* doc/Makefile.am (.texi.notab): Use $(AWK), not gawk.  At least
 	some other awk implementations supports this script.