/patch-Makedefs_in/1.6/Sat Mar 12 08:17:39 2022//
/patch-configure/1.8/Sat Mar 12 08:17:39 2022//
/patch-htmldoc_file_c/1.8/Sat Mar 12 08:17:39 2022//
/patch-htmldoc_http_c/1.4/Sat Mar 12 08:17:39 2022//
/patch-htmldoc_ps-pdf_cxx/1.3/Sat Mar 12 08:17:39 2022//
D
