Re: Best place for .3 MPI man pages

Adam C Powell IV a écrit :
> Greetings,
> 

Hello Adam

> 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 .

Playing with apt-file and grep it seems that MPI_Comm_set_name.3.gz is 
the only file causing problem :

$ apt-file show bla > /tmp/bla with bla={mpi-doc,lam4-dev}
$ for i in `grep man /tmp/mpi-doc | cut -d'/' -f 5`; do echo -n "$i : "; 
grep -c $i /tmp/lam4-dev_man;done | grep ": 1"


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

Thanks for resurrecting that old bug of mine.

> 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.

In case you forgot, there was already an attempt of a discussion on this 
subject, see [1] and following.

> Cheers,
> -Adam

@+,
	Fab

PS : the link in your signature is broken.

[1] http://lists.debian.org/debian-beowulf/2005/03/msg00004.html


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]