Changed filenames in Doxygen documentation.