[Pkg-openmpi-maintainers] Does anybody remember why we did this?

[Dirk Eddelbuettel]

        # TODO check if that works?!
	sed -i 's/3OpenMPI/3/' debian/openmpi/usr/share/man/man3/*.3

If we don't rename the manual pages, then they would not conflict with lam,
mpich, ... and we'd be a small step closer to cooperating more with the
MPIs.  Did lintian dislike this?

It came in revision 5 with a bunch of other changes.  Should we revert this?

Dirk

-- 
Hell, there are no rules here - we're trying to accomplish something. 
                                                  -- Thomas A. Edison