"make check" may now work with Python 1.5.

ChangeLog

 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.