Used when building doxygen for the website