/patch-etc_Makefile_in/1.1/Fri Apr 13 22:16:08 2001//
/patch-man_mans_mpi_share/1.1/Mon Nov 19 01:40:48 2007//
/patch-share_args_all_opt_c/1.1/Sun May  9 21:11:16 2004//
D
