diff options
| -rwxr-xr-x | gen_docs.sh | 22 | 
1 files changed, 19 insertions, 3 deletions
| diff --git a/gen_docs.sh b/gen_docs.sh index 9ddb82aa..92817c5a 100755 --- a/gen_docs.sh +++ b/gen_docs.sh @@ -1,4 +1,20 @@ -#!/bin/bash -if [ ! -e gen_docs.disable ]; then -  ./node_modules/.bin/jasmine-node docs/spec --noColor && node docs/src/gen-docs.js +#!/usr/bin/env bash + +JASMINE_NODE='jasmine-node' +if ! type -p "$JASMINE_NODE" >/dev/null 2>&1;then +  # Locally (npm)-installed jasmine-node +  local_jasmine='./node_modules/.bin/jasmine-node' + +  if [[ -x "$local_jasmine" ]];then +    JASMINE_NODE="$local_jasmine" +  else +    echo 'Could not find a locally or globally installed executable of' \ +         'jasmine-node. Try: `npm install jasmine-node`.' >&2 +    exit 1 +  fi +fi + +if [[ ! -e gen_docs.disable ]]; then +  echo 'Testing, then building documentation...' +  "$JASMINE_NODE" docs/spec --noColor && node docs/src/gen-docs.js  fi | 
