diff options
author | John DeNisco <jdenisco@cisco.com> | 2020-01-24 14:04:41 -0500 |
---|---|---|
committer | John DeNisco <jdenisco@cisco.com> | 2020-01-24 14:05:17 -0500 |
commit | a273ce62d7e3eded5a146bcad8cf3103894a723f (patch) | |
tree | 61852606fa3e81be6db4de2dee2fd38683f29c2c /docs/scripts | |
parent | d539e256b212240f71fb81092f2e24d96c737127 (diff) |
docs: Update the requirements and fix the build
Signed-off-by: John DeNisco <jdenisco@cisco.com>
Change-Id: I30e37f7e549083337b11ace95b4ff4f427d9fc8c
Diffstat (limited to 'docs/scripts')
-rwxr-xr-x | docs/scripts/publish-docs.sh | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/docs/scripts/publish-docs.sh b/docs/scripts/publish-docs.sh index 0a81dc07212..9cbef8ddc9a 100755 --- a/docs/scripts/publish-docs.sh +++ b/docs/scripts/publish-docs.sh @@ -29,6 +29,7 @@ SITE_USERNAME=$1 VPP_BRANCH=$2 #Build the docs +make docs-clean make docs-venv make docs @@ -46,27 +47,30 @@ git merge -m "Publish the Docs" upstream/master VERSION=`source $WS_ROOT/src/scripts/version` VERSION=${VERSION/"~"/"-"} -# Create a branch for the commit -git checkout -b $VERSION -git branch - # Copy the files to the appropriate directory SRC_DIR=../docs/_build/html/. if [ "$VPP_BRANCH" == "master" ] then TARGET_DIR=./static/docs/vpp/master - rm -fr ./static/docs/vpp/master + rm -fr $TARGET_DIR else TARGET_DIR=./static/docs/vpp/v$VPP_BRANCH - rm -fr ./static/docs/vpp/$TARGET_DIR - mkdir -p ./static/docs/vpp/$TARGET_DIR + rm -fr $TARGET_DIR + mkdir -p $TARGET_DIR + VERSION=v$VPP_BRANCH + ln -s $VERSION ./static/docs/vpp/latest fi +# Create a branch for the commit +git checkout -b $VERSION +git branch + +# Copy the docs cp -r $SRC_DIR $TARGET_DIR # Push the new docs -git add "*" -git commit -s -m "Publish docs from VPP $VERSION" -git push origin "$VERSION" +#git add "*" +#git commit -s -m "Publish docs from VPP $VERSION" +#git push origin "$VERSION" exit 0 |