fix docs build dirs in .gitignore