/patch-Makedefs_in/1.7/Sat Nov 23 18:23:46 2024//
/patch-configure/1.9/Sat Nov 23 18:23:46 2024//
/patch-htmldoc_file_c/1.9/Sat Nov 23 18:23:46 2024//
D
