doxygen: generate docs that will integrate with the website