Exporting Doxygen, and making documentation compatible with Doxygen
formatting.  The Doxyfile includes configuration for the doxygen
project.