6d50d95cae
When running tools/build_docs.sh in a devstack dir that has also run tox build_docs needlessly runs shocco on the .tox files. Just skip them. Change-Id: Ia561e49ea2214ac75bd55964f1b86872118b2031