/patch-Makedefs_in/1.3/Fri Nov  7 13:33:40 2014//
/patch-configure/1.5/Sun Jan  3 10:18:36 2016//
/patch-htmldoc_file_c/1.5/Fri Nov  7 13:33:40 2014//
/patch-htmldoc_htmlsep_cxx/1.1/Tue Apr 18 20:16:33 2017//
/patch-htmldoc_http_c/1.2/Sun Jan  3 10:18:36 2016//
D
