usr/share/man/man1/dmtcp.1.gz usr/share/man/man1/dmtcp_coordinator.1.gz
usr/share/man/man1/dmtcp.1.gz usr/share/man/man1/dmtcp_checkpoint.1.gz
usr/share/man/man1/dmtcp.1.gz usr/share/man/man1/dmtcp_nocheckpoint.1.gz
usr/share/man/man1/dmtcp.1.gz usr/share/man/man1/dmtcp_restart.1.gz
usr/share/man/man1/dmtcp.1.gz usr/share/man/man1/dmtcp_command.1.gz
usr/share/man/man1/dmtcp.1.gz usr/share/man/man1/mtcp_restart.1.gz
