/patch-Makefile_in/1.2/Wed Oct 30 23:08:56 2013//
/patch-doc_make_texi/1.4/Wed Oct 30 23:08:56 2013//
/patch-make_1/1.2/Wed Oct 30 23:08:56 2013//
D
