/patch-Makefile.in/1.1/Sat Sep  8 06:29:57 2001//
/patch-texi2html.pl/1.1/Sat Sep  8 06:29:57 2001//
D
