Merge "update docs build dir names in .gitignore"