doc: Ignore generated documentation files.