doxygen: removing checked in artifacts