/patch-configure/1.2/Mon Jun 16 19:34:49 2008//
/patch-doc_make_texi/1.2/Mon Jun 16 19:34:49 2008//
/patch-make.1/1.3/Mon Jun 16 19:34:49 2008//
D
