open-mpi/ompi-release — pull request #52 by jsquyres (2014-10-23 21:40:22+00:00)
Title: Man page fixes

Two commits:

1. Remove stale Java references
1. Add $COPYRIGHT$ and -*- nroff -*- tokens to all pages

@rhc54 please review

There's no rush on this; I marked milestone 1.8.4, but this could certainly slip to 1.8.5.