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:11:13 +0100 |
commit | ddb7b9f1ac7e5b74d4f11f4149456b627b6af439 (patch) | |
tree | e3fc202a0735cc95fcd5501ff9ebd71581e86cc2 | |
parent | 186215e2cad6fc890303b86e9be54d89f793403d (diff) |
setupdocs: fix ref_doctoolslegacy-doc-03-2019
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 dc276b6..ba40116 100755 --- a/setupdocs.sh +++ b/setupdocs.sh @@ -126,8 +126,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 |