doc: git ignore generated doc files