blob: 0a81dc07212032671f314de53b8616d0989f53c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
#!/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
|
