/patch-Makefile/1.8/Sat Jun  6 20:40:49 2020//
/patch-configure/1.7/Sat Jun  6 20:40:49 2020//
/patch-doc_Makefile/1.7/Sat Jun  6 20:40:49 2020//
/patch-misc_Makefile/1.6/Sat Jun  6 20:40:49 2020//
D
