/patch-Makedefs_in/1.5/Sun Feb 16 18:16:33 2020//
/patch-htmldoc_http_c/1.3/Sun Feb 16 18:16:33 2020//
/patch-htmldoc_ps-pdf_cxx/1.2/Sun Feb 16 18:16:33 2020//
/patch-htmldoc_file_c/1.7/Sat Jun 13 17:16:48 2020//
/patch-configure/1.7/Sat Jun 12 17:18:26 2021//
D
