On Sun, Jan 12 2014, David Bremner <[email protected]> wrote: > Tomi Ollila <[email protected]> writes: >> >> IMO "install" target should not execute anything that is located in >> 'devel/' (i.e. build should be "devel/" -free) so IMO the doxygen.cfg >> should be moved to some other directory >> (but where? to the root? to man/* to upcoming info/*?) >> > > Since we're bikeshedding, what about a top level "doc" directory, with > man, info, etc... underneath
I was also thinking of this option... > Assuming this info thing goes anywhere. ... and when it goes, will we lose the whole man/ in the process ? > d Tomi _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
