Skip to content

Commit 41ca00c

Browse files
committed
NO-REF: Fix documentation deployment script.
1 parent 7f95e15 commit 41ca00c

1 file changed

Lines changed: 8 additions & 0 deletions

File tree

ci/github-ci-docs.sh

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,9 @@ PATH_REPO_CURRENT=`readlink -f .`
33
PATH_SOURCE=`readlink -f src`
44

55

6+
set -e
7+
8+
69
# Configure git to push changes
710
echo "[INFO] Configure git to commit and push changes."
811

@@ -26,6 +29,11 @@ git checkout gh-pages
2629
PATH_REPO_GH_PAGES=`readlink -f .`
2730

2831

32+
# package to test
33+
echo "Install packages to generate documentation."
34+
pip3 install robotframework docutils pygments
35+
36+
2937
# Generate documentation
3038
echo "[INFO] Generate documentation."
3139

0 commit comments

Comments
 (0)