Doc: clean useless files