doc: move doxgen config from devel/ to doc/

a first step towards actually instally the API docs
This commit is contained in:
David Bremner 2014-04-05 23:02:23 -03:00
parent af5c3afa91
commit b6751cf875