/patch-Makedefs_in/1.5/Sun Feb 16 08:30:08 2020//
/patch-configure/1.6/Sun Feb 16 08:30:08 2020//
/patch-htmldoc_file_c/1.7/Sat Jun 13 15:11:39 2020//
/patch-htmldoc_http_c/1.3/Sun Feb 16 08:30:08 2020//
/patch-htmldoc_ps-pdf_cxx/1.2/Sun Feb 16 08:30:08 2020//
D
