diff options
| author |   Clément Bénier <clement.benier@iot.bzh> | 2019-03-26 11:10:17 +0100 |
|---|---|---|
| committer | Clément Bénier <clement.benier@iot.bzh> | 2019-03-26 11:10:17 +0100 |
| commit | 768b049078c083436dcb7eeebfd816c68f2aa5cf (patch) | |
| tree | 267454a3d84c56842d19da9d1330a968839f34b9 | |
| parent | f3f0a61e5e54956fafef6dc91bd416bd36ced5b6 (diff) | |
setupdocs: fix ref_doctools
Change-Id: Iac010eeb0561bb63c7d37d84d63cd1d588361281
Signed-off-by: Clément Bénier <clement.benier@iot.bzh>
| -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 |