On Wed, 2005-10-05 at 15:51 -0400, Peter Jay Salzman wrote:
> Package: mpich-bin
> Version: 1.2.5.3-5
> Severity: wishlist
> 
> Please include the User's Guide.  Thanks, Adam!  :)

Thanks for the bug.

I'm torn about the best place for this: mpich*-bin, or libmpich*-dev.
The manual includes information relevant to both, and they both suggest
each other...

My inclination is to say: "Most people with libmpich1.0-dev will have
mpich-bin, but many people might have mpich-bin but not
libmpich1.0-dev," so put it in mpich-bin with a link
from /usr/share/doc/libmpich1.0-dev/ in that package too.  Makes sense?

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 [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to