/patch-configure/1.1.1.1/Thu Sep  2 20:14:58 2021//
/patch-doc_HTML_Makefile_in/1.1.1.1/Thu Sep  2 20:14:58 2021//
/patch-doc_man_Makefile_in/1.1.1.1/Thu Sep  2 20:14:58 2021//
D
