On Sun, Jan 12 2014, David Bremner <david@tethera.net> wrote:

> 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

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