/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//
D
