diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b377194eb062fdc218134cff2f051e24bffdcb2b..928695f993efdcbe820a0d711c9e20ac0e8d973e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,7 +1,15 @@ stages: + - doc - staging - deploy +doc: + stage: doc + script: + - cd ./doc + - make html + - scp -o StrictHostKeyChecking=no -i ${PROD_KEY} -r ./build/html/* ${PROD_USER}@${PROD_HOST}:${PROD_HTML_DIRECTORY} + staging: stage: staging script: diff --git a/doc/entrypoint.sh b/doc/entrypoint.sh new file mode 100644 index 0000000000000000000000000000000000000000..4d1fca3780bf387e1dd3e7a7c1d0a68928c5a473 --- /dev/null +++ b/doc/entrypoint.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +echo $(pwd)