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