diff --git a/Makefile b/Makefile index 94960983493874cbe3c08020fc92c47aab54168b..e66264edd9c747b5909844200a4993748eca9db0 100644 --- a/Makefile +++ b/Makefile @@ -55,11 +55,15 @@ po: gettext po-pre tx-pull: # $(TX_CMD) pull -aft --minimum-perc=1 - $(TX_CMD) pull -ftl $(LANGS_commasep) +# e.g. make tx-pull TRANSIFEX_API_TOKEN=<token_value> + $(TX_CMD) --token $(TRANSIFEX_API_TOKEN) pull -ftl $(LANGS_commasep) tx-push: - $(TX_CMD) push -s + $(TX_CMD) --token $(TRANSIFEX_API_TOKEN) push -s +clean: + @echo "Removing $(OUT)" + rm -r $(OUT) deploy: rsync $(RSYNC_OPTS) "$(OUT)"/html/ "$(RSYNC_DEST)" for l in $(LANGS); do \ diff --git a/_build/Dockerfile.build b/_build/Dockerfile.build index e8c958c959550ec151f1d6dae731171047b2a9e9..c4483f0ff6afdd3bbfb9aaf291554f65c497d3be 100644 --- a/_build/Dockerfile.build +++ b/_build/Dockerfile.build @@ -17,7 +17,11 @@ RUN groupadd -g "${GID}" jenkins && \ USER jenkins +RUN mkdir -p "/home/jenkins/.local/bin" && \ + cd "/home/jenkins/.local/bin" && \ + curl -o- https://raw.githubusercontent.com/transifex/cli/master/install.sh | bash + ENV PATH="/home/jenkins/.local/bin:${PATH}" -RUN pip3 install --upgrade sphinx==5.3.0 -RUN pip3 install sphinx-intl==2.1.0 sphinx-rtd-theme==1.0.0 myst-parser==0.18.0 +RUN pip3 install --upgrade sphinx==6.2.1 +RUN pip3 install sphinx-intl==2.1.0 sphinx-rtd-theme==1.2.2 myst-parser==2.0.0 diff --git a/_build/Jenkinsfile.build b/_build/Jenkinsfile.build index 707e20a47f2298e56c7591ab02cc883d53632a9e..4c496e21a805a48197a54afec563025a7f23bb4d 100644 --- a/_build/Jenkinsfile.build +++ b/_build/Jenkinsfile.build @@ -82,6 +82,8 @@ pipeline { stage('Build docs') { run_cmd(""" cd ${REPO_NAME} + make gettext + make tx-pull TRANSIFEX_API_TOKEN=${TRANSIFEX_API_TOKEN} make html || true """) }