Renamed 'mainpage.doxygen' to 'mainpage.dox'.