diff options
Diffstat (limited to 'gen_docs.sh')
| -rwxr-xr-x | gen_docs.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gen_docs.sh b/gen_docs.sh index 8ac17d70..9d7afb67 100755 --- a/gen_docs.sh +++ b/gen_docs.sh @@ -1,3 +1,4 @@ #!/bin/bash -. ~/.bashrc -node docs/spec/specs.js --noColor | grep -v '/lib/jasmine' && node docs/src/gen-docs.js +if [ ! -e gen_docs.disable ]; then + /usr/bin/env node docs/spec/specs.js --noColor | grep -v '/lib/jasmine' && node docs/src/gen-docs.js +fi |