grim/hgkeeper

Put the docs in a zip file when generating them

10 months ago, Gary Kramlich
ae75fb1d8de7
Parents 274e125f308b
Children ff3e6be55b62
Put the docs in a zip file when generating them
1 files changed, 9 insertions(+), 5 deletions(-)
  • +9 -5
    convey.yml
    • --- a/convey.yml Wed Jun 14 03:43:03 2023 -0500
    +++ b/convey.yml Thu Jun 15 21:31:52 2023 -0500
    @@ -103,25 +103,29 @@
    docs-clean:
    type: convey/clean
    - files: site
    + files:
    + - site
    + - hgkeeper-docs.zip
    docs-import:
    type: docker/import
    files: .:.
    - # we explicitly call out jinja2==3.0.3 because 3.1.0 breaks mkdocs
    - # https://github.com/mkdocs/mkdocs/issues/2799
    docs-build:
    type: docker/run
    image: docker.io/python:3-alpine
    workdir: ${CONVEY_WORKSPACE}/docs
    script:
    - - python3 -m pip install mkdocs mkdocs-include-markdown-plugin jinja2==3.0.3
    + - set ex
    + - python3 -m pip install mkdocs mkdocs-include-markdown-plugin jinja2
    - mkdocs build
    + - apk add --no-cache zip
    + - mv site hgkeeper
    + - zip -9r hgkeeper-docs.zip hgkeeper
    docs-export:
    type: docker/export
    - files: docs/site:site
    + files: docs/hgkeeper-docs.zip:hgkeeper-docs.zip
    plans:
    default: