Use a stamp file to represent the Doxygen output