Add .gitignore for files created by run_doc.sh

No match.