The Doxygen-generated files go here
