Only consider certain file extensions in install-doxygen-doc