/patch-doc_indent_texinfo/1.1/Mon Aug 26 02:55:09 2002//
/patch-man_Makefile_in/1.2/Mon Oct  8 22:57:46 2012//
/patch-man_texinfo2man_c/1.2/Mon Oct  8 22:57:46 2012//
/patch-src_args_c/1.3/Mon Oct  8 22:57:46 2012//
/patch-src_globs_c/1.2/Mon Oct  8 22:57:46 2012//
D
