update docs build names in .gitignore

No match.