/patch-Makefile_in/1.1/Fri Sep 18 13:29:15 2015//
/patch-texi2html_pl/1.3/Thu Apr  4 02:04:45 2019//
D
