* lib/am/texinfos.am (TEXI2PDF): Pass --batch to texi2dvi, since it was already supported when --pdf support was added.
2002-09-11T08:00:10