/patch-Makefile_in/1.1/Fri Sep 18 13:29:15 2015//
/patch-texi2html_pl/1.3/Fri Apr  5 02:54:08 2019//
D
