doxygen: Build Doxygen documentation in the doc/ subdirectory