diff options
| -rwxr-xr-x | setupdocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/setupdocs.sh b/setupdocs.sh index 698ce2c..6450b31 100755 --- a/setupdocs.sh +++ b/setupdocs.sh @@ -133,8 +133,8 @@ else if [ -d $DOCTOOLSDIR ]; then echo "$DOCTOOLSDIR already exits: process update with reference=$ref_doctools" pushd $DOCTOOLSDIR - gitcheckout $branch_doctools - git pull $doctools $branch_doctools &> /dev/null + gitcheckout $ref_doctools + git pull $doctools $ref_doctools &> /dev/null npm install popd else |