chore(docs): make pdf export optional

this allow to build faster on local development
criticalmanufacturing · Apr 17, 2023 · 6c29b65 · 6c29b65
1 parent dd01fba
commit 6c29b65
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/Earthfile b/docs/Earthfile
@@ -9,6 +9,7 @@ build:
     RUN pip3 install -r requirements.txt
     RUN apt update && apt install -y python3-pip python3-cffi python3-brotli libpango-1.0-0 libpangoft2-1.0-0
     COPY . .
+    ENV ENABLE_PDF_EXPORT=1
     RUN mkdocs build
     RUN touch /app/book/.nojekyll # disable GitHub pages parsing
     SAVE ARTIFACT /app/book /dist AS LOCAL dist

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -40,6 +40,7 @@ plugins:
   - mermaid2
   - section-index
   - with-pdf:
+      enabled_if_env: ENABLE_PDF_EXPORT
       output_path: /output/cmf-cli.pdf
       cover_subtitle: ""
 markdown_extensions: