/patch-configure/1.1/Sat Jan 29 09:06:56 2005//
/patch-doc_make_texi/1.1/Fri Oct  4 18:06:28 2002//
/patch-make.1/1.2/Fri Oct  4 18:06:28 2002//
D
