mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-10-02 08:42:32 +00:00
ci: Update to hotdoc
This commit is contained in:
parent
7beb52a6e0
commit
78577cffaf
1 changed files with 1 additions and 1 deletions
|
@ -811,7 +811,7 @@ documentation:
|
||||||
MESON_BUILDTYPE_ARGS: "-Ddoc=enabled"
|
MESON_BUILDTYPE_ARGS: "-Ddoc=enabled"
|
||||||
CI_ARTIFACTS_URL: "${CI_PROJECT_URL}/-/jobs/${CI_JOB_ID}/artifacts/raw/"
|
CI_ARTIFACTS_URL: "${CI_PROJECT_URL}/-/jobs/${CI_JOB_ID}/artifacts/raw/"
|
||||||
script:
|
script:
|
||||||
- pip3 install --upgrade hotdoc==0.11.0
|
- pip3 install --upgrade hotdoc==0.12.0
|
||||||
- *gst_build
|
- *gst_build
|
||||||
- ./gst-uninstalled.py ninja -C build/ plugins_doc_caches
|
- ./gst-uninstalled.py ninja -C build/ plugins_doc_caches
|
||||||
- |
|
- |
|
||||||
|
|
Loading…
Reference in a new issue