summaryrefslogtreecommitdiffstats
path: root/docs/scripts
diff options
context:
space:
mode:
authorJohn DeNisco <jdenisco@cisco.com>2020-01-24 14:04:41 -0500
committerJohn DeNisco <jdenisco@cisco.com>2020-01-24 14:05:17 -0500
commita273ce62d7e3eded5a146bcad8cf3103894a723f (patch)
tree61852606fa3e81be6db4de2dee2fd38683f29c2c /docs/scripts
parentd539e256b212240f71fb81092f2e24d96c737127 (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-xdocs/scripts/publish-docs.sh24
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