/patch-Makedefs_in/1.3/Tue Nov 18 12:59:51 2014//
/patch-htmldoc_file_c/1.5/Tue Nov 18 12:59:51 2014//
/patch-configure/1.5/Fri Feb 19 12:34:31 2016//
/patch-htmldoc_http_c/1.2/Fri Feb 19 12:34:31 2016//
/patch-htmldoc_htmlsep_cxx/1.1/Tue Apr 18 20:16:33 2017//
/patch-htmldoc_ps-pdf_cxx/1.1/Sun Jun 23 22:54:06 2019//
D
