On Wed, Oct 31, 2012 at 7:07 AM, Anders Logg <l...@simula.no> wrote: > On Wed, Oct 31, 2012 at 05:47:50AM +0000, Garth N. Wells wrote: >> On Tuesday, 30 October 2012, Anders Logg wrote: >> >> You may be right. It's a config file for how to build against >> DOLFIN, >> not for configuring DOLFIN. >> >> Not even. It's a helper file for those who happen to use bash. >> >> I think prefix/etc is completely wrong and I would be surprised if >> having a helper script for bash users in >> >>   /usr/etc >> >> is acceptable in a Debian package. > > Maybe not. We can change it.
dolfin.conf is not needed in a Debian package and will be left out whether it is installed in /etc or in /usr/share/dolfin. It is not part of the package today either. Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
