[PATCH v2 0/2] doxygen generated library reference man page

[David Bremner]

Tomi Ollila <tomi.ollila at 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