|
|||||||||||
|
Re: Best place for .3 MPI man pages
From: Fabrice Lorrain <Fabrice.Lorrain(at)free.fr>
Date: Sat Sep 08 2007 - 07:22:50 EDT
Hello Adam > For years now, there has been a conflict between mpi-doc and lam4-dev 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 Thanks for resurrecting that old bug of mine. > So the question is: where is the proper place for these files, mpi-doc In case you forgot, there was already an attempt of a discussion on this subject, see [1] and following. > Cheers, @+, Fab PS : the link in your signature is broken. [1] http://lists.debian.org/debian-beowulf/2005/03/msg00004.html -- To UNSUBSCRIBE, email to debian-beowulf-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.orgReceived on Sat Sep 8 07:23:01 2007 This archive was generated by hypermail 2.1.8 : Sun Oct 07 2007 - 07:58:55 EDT |
||||||||||
|
|||||||||||