Tomi Ollila <tomi.ollila@iki.fi> 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 Assuming this info thing goes anywhere. d