Best place for .3 MPI man pages

Greetings,

For years now, there has been a conflict between mpi-doc and lam4-dev because they both provide .3 MPI API man pages, such as MPI_Comm_set_name.3.gz .

It's silly that the -dev package conflicts with a corresponding -doc package, as was pointed out by Fabrice Lorrain in bug 310688.

So the question is: where is the proper place for these files, mpi-doc or lam4-dev? It seems like if they're in mpi-doc, there's less duplication; if in lam4-dev they'd need to be repeated in all of the libmpich*-dev packages.

Cheers,
-Adam
--

GPG fingerprint: D54D 1AEE B11C CE9B A02B C5DD 526F 01E8 564E E4B6

Welcome to the best software in the world today cafe! http://www.take6.com/albums/greatesthits.html

--

To UNSUBSCRIBE, email to debian-beowulf-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org Received on Thu Sep 6 07:48:43 2007