/patch-texi2html.pl/1.2/Fri Jul  9 23:53:12 2010//
D
