[Pkg-openmpi-maintainers] [Pkg-openmpi-commits] r54 - in /openmpi/trunk/debian: changelog control libopenmpi-dev.install libopenmpi-dev.links libopenmpi-dev.postinst libopenmpi-dev.prerm openmpi-bin.install openmpi-bin.links openmpi-bin.postinst openmpi-bin.prerm

[Manuel Prinz]

Am Donnerstag, den 13.09.2007, 19:17 +0200 schrieb Manuel Prinz:
> Am Donnerstag, den 13.09.2007, 18:27 +0200 schrieb Sylvestre Ledru:
> > E: openmpi-bin: manpage-not-compressed usr/share/man/man1/mpirun.openmpi.1
> 
> That seems to be true, fixing that.
> 
> > W: openmpi-bin: binary-without-manpage usr/bin/mpiexec.openmpi
> 
> Related to the one above, fixing that, too.

Fixed those in r56.

Best regards
Manuel