update docs build dir names in .gitignore