imfreedom/contributors-guide

Create a zip file of the documentation
default tip
10 months ago, Gary Kramlich
97dd676b0777
Parents 6e49362c1576
Children
Create a zip file of the documentation

Testing Done:
Built locally and manually verified the zip file.

Reviewed at https://reviews.imfreedom.org/r/2465/
2 files changed, 8 insertions(+), 3 deletions(-)
  • +1 -1
    .hgignore
  • +7 -2
    convey.yml
    • --- a/.hgignore Mon Dec 12 02:42:16 2022 -0600
    +++ b/.hgignore Thu Jun 15 02:46:05 2023 -0500
    @@ -1,3 +1,3 @@
    syntax: glob
    +contributors-guide.zip
    site
    -
    --- a/convey.yml Mon Dec 12 02:42:16 2022 -0600
    +++ b/convey.yml Thu Jun 15 02:46:05 2023 -0500
    @@ -7,7 +7,9 @@
    clean:
    type: convey/clean
    - files: site
    + files:
    + - contributors-guide.zip
    + - site
    # we explicitly call out jinja2==3.0.3 because 3.1.0 breaks mkdocs
    # https://github.com/mkdocs/mkdocs/issues/2799
    @@ -19,10 +21,13 @@
    - set -ex
    - python3 -m pip install mkdocs jinja2
    - mkdocs build
    + - apk add --no-cache zip
    + - mv site contributors-guide
    + - zip -9r contributors-guide.zip contributors-guide
    export:
    type: docker/export
    - files: site:site
    + files: contributors-guide.zip:contributors-guide.zip
    plans:
    default: