adding ignore-paths for docs directory
adding ignore-paths for docs directory


Former-commit-id: 0b134ec1566f46716b7a74041a0e24bbbdcc415c
djtotten/workbench,djtotten/workbench,SuperCowPowers/workbench,SuperCowPowers/workbench,SuperCowPowers/workbench,djtotten/workbench