File tree 1 file changed +8
-3
lines changed
1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change 39
39
run : |
40
40
sudo apt update
41
41
sudo apt install python3-pip python3-setuptools
42
- PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
43
- PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
42
+ # PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
43
+ # PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
44
44
PATH=/home/runner/.local/bin:$PATH export GIT_VER=$(git describe --always)
45
- PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
45
+ echo "PIP install requirements..."
46
+ PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
47
+ echo "Building the Docs..."
48
+ cd ./docs && PATH=/home/runner/.local/bin:$PATH build-docs -l en
49
+ echo "Deploy the Docs..."
50
+ # PATH=/home/runner/.local/bin:$PATH deploy-docs
You can’t perform that action at this time.
0 commit comments