/patch-texi2html_pl/1.1/Fri Jul  8 09:52:50 2011//
D
