/patch-configure/1.2/Thu Jun 12 21:04:16 2008//
/patch-doc_make_texi/1.2/Thu Jun 12 21:04:16 2008//
/patch-make.1/1.3/Thu Jun 12 21:04:16 2008//
/patch-misc_c/1.1/Mon May 10 17:17:48 2010//
D
