/patch-Makefile_in/1.1/Fri Sep 18 13:29:15 2015//
/patch-texi2html_pl/1.2/Fri Sep 18 13:29:15 2015//
D
