Ignore generated doc files in some plugins