gplugin/gplugin

Create a zip file of the docs

10 months ago, Gary Kramlich
0bc3ce384653
Parents fd779d79a546
Children 217c735cfafb
Create a zip file of the docs

This make it easier and faster to get them into the image for
docs.imfreedom.org.

Testing Done:
Built locally. I also updated the debian-bookworm-amd64 image to explicitly require unzip but it is installed right now because unzip suggests it.

Reviewed at https://reviews.imfreedom.org/r/2462/
1 files changed, 15 insertions(+), 3 deletions(-)
  • +15 -3
    convey.yml
    • --- a/convey.yml Tue Jun 13 21:23:49 2023 -0500
    +++ b/convey.yml Thu Jun 15 02:57:05 2023 -0500
    @@ -23,7 +23,10 @@
    - ubuntu-jammy-amd64
    - valgrind
    - gplugin-docs
    + - gplugin-docs.zip
    + - gplugin-gtk-docs
    - gplugin-gtk4-docs
    + - gplugin-gtk4-docs.zip
    import:
    type: docker/import
    @@ -55,20 +58,29 @@
    type: convey/clean
    files:
    - gplugin-docs
    + - gplugin-docs.zip
    - gplugin-gtk-docs
    + - gplugin-gtk4-docs
    + - gplugin-gtk4-docs.zip
    docs-build:
    type: docker/run
    image: ${DOCS_BUILD_IMAGE}
    workdir: ${CONVEY_WORKSPACE}
    + shell: /bin/bash
    script:
    - set -ex
    - - meson build-docs
    + - meson setup build-docs -Ddoc=true
    - ninja -C build-docs doc
    + - pushd build-docs/gplugin/reference
    + - zip -9r gplugin-docs.zip gplugin
    + - popd
    + - pushd build-docs/gplugin-gtk4/reference
    + - zip -9r gplugin-gtk4-docs.zip gplugin-gtk4
    docs-export:
    type: docker/export
    files:
    - - build-docs/gplugin/reference/gplugin:gplugin-docs
    - - build-docs/gplugin-gtk4/reference/gplugin-gtk4:gplugin-gtk4-docs
    + - build-docs/gplugin/reference/gplugin-docs.zip:gplugin-docs.zip
    + - build-docs/gplugin-gtk4/reference/gplugin-gtk4-docs.zip:gplugin-gtk4-docs.zip
    plans:
    clean: