Fixed #5782: add a directory to .gitignore

add a directory to .gitignore