73f725c63c
Signed-off-by: John DeNisco <jdenisco@cisco.com> Change-Id: Ic17585bcb4196e5b0661104745f67d6a02ab6b3d
73 lines
1.5 KiB
Bash
Executable File
73 lines
1.5 KiB
Bash
Executable File
#!/bin/bash -ex
|
|
|
|
# publish-docs.sh
|
|
#
|
|
# This sccript is used to publish the VPP User documents to
|
|
# the FD.io Site.
|
|
#
|
|
# Arguments:
|
|
#
|
|
# $1: The main site repo user name
|
|
# $2: The release branch name for example 1908, 1904 etc.
|
|
|
|
# Some basic checks
|
|
if [ ! -d "docs" ]; then
|
|
echo "This script is meant to be run from the root directory."
|
|
exit 1;
|
|
fi
|
|
|
|
if [ "$#" -ne 2 ]; then
|
|
echo "Please specify the site username and branch."
|
|
exit 1;
|
|
fi
|
|
|
|
# Get the workspace root
|
|
WS_ROOT=$PWD
|
|
|
|
# Get the VPP branch and username
|
|
SITE_USERNAME=$1
|
|
VPP_BRANCH=$2
|
|
|
|
#Build the docs
|
|
make docs-venv
|
|
make docs
|
|
|
|
# Clone the site repo
|
|
rm -fr site
|
|
git clone ssh://git@github.com/$SITE_USERNAME/site
|
|
cd site
|
|
git submodule update --init --recursive
|
|
git remote add upstream ssh://git@github.com/FDio/site
|
|
git remote -v
|
|
git fetch upstream
|
|
git merge -m "Publish the Docs" upstream/master
|
|
|
|
# Get the version
|
|
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
|
|
else
|
|
TARGET_DIR=./static/docs/vpp/v$VPP_BRANCH
|
|
rm -fr ./static/docs/vpp/$TARGET_DIR
|
|
mkdir -p ./static/docs/vpp/$TARGET_DIR
|
|
fi
|
|
|
|
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"
|
|
|
|
exit 0
|