+ rules:
+ - if: $CI_COMMIT_TAG
+
+# Documentation
+build_doc:
+ stage: build
+ script:
+ - pip install sphinx sphinx_rtd_theme
+ - sphinx-build doc/source -b html ./html -D html_theme=sphinx_rtd_theme -E -W -n --keep-going
+ rules:
+ - if: $CI_PIPELINE_SOURCE == "push"
+ changes:
+ - doc/source/*
+ - if: $CI_PIPELINE_SOURCE == "schedule"
+
+pages:
+ stage: build
+ script:
+ - pip install sphinx sphinx_rtd_theme
+ - sphinx-build -d ./build/doctrees doc/source -b html ./public -D html_theme=sphinx_rtd_theme
+ artifacts:
+ paths:
+ - public
+ rules:
+ - if: $CI_COMMIT_BRANCH == "master"