moving documentation from docbook to doxygen