ci: Embed docs before removing them to check more completely that there are no leftover docs

This commit is contained in:
Sebastian Dröge 2022-09-04 10:39:48 +03:00
parent d00b289621
commit e5a785c9a5

View file

@ -525,7 +525,8 @@ doc-stripping:
artifacts: false
script:
- git submodule update --checkout
- PATH=~/.cargo/bin/:$PATH ./generator.py --gir-files-directories gir-files gst-gir-files --strip-docs --no-fmt
- PATH=~/.cargo/bin/:$PATH ./generator.py --gir-files-directories gir-files gst-gir-files --embed-docs
- PATH=~/.cargo/bin/:$PATH ./generator.py --gir-files-directories gir-files gst-gir-files --strip-docs
- git diff --quiet || (echo 'Files changed after running `rustdoc-stripper -s`, make sure all documentation is protected with `// rustdoc-stripper-ignore-next`!'; git diff; false)
docs: