/patch-doc_m4_1/1.5/Mon Feb  6 08:14:09 2017//
/patch-doc_m4_texi/1.2/Mon Feb  6 08:14:09 2017//
D
