Doxygen: moving files to top level