mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-02-21 05:26:23 +00:00
gitlab: Update hotdoc to latest release
This commit is contained in:
parent
c83578dcd2
commit
d72551ddc4
1 changed files with 1 additions and 1 deletions
|
@ -869,7 +869,7 @@ documentation:
|
|||
MESON_ARGS: *simple_build
|
||||
MESON_BUILDTYPE_ARGS: "-Ddoc=enabled"
|
||||
script:
|
||||
- pip3 install --upgrade git+https://github.com/hotdoc/hotdoc.git@a8bb7483d473885b9dbb84eb34252f425d43d3ff
|
||||
- pip3 install --upgrade hotdoc==0.11.0
|
||||
- *gst_build
|
||||
|
||||
- ./gst-uninstalled.py hotdoc run --conf-file=build/subprojects/gst-docs/GStreamer-doc.json --fatal-warnings
|
||||
|
|
Loading…
Reference in a new issue