taler-docs

commit 88028bc85ff1c775bfeb067b14aecac1852d461e
parent 50c89041aa9b5f7300ddaa7b2b1412617101eeac
Author: Devan Carpenter <devan@taler.net>
Date:   Mon, 17 Jul 2023 00:36:15 -0400

ci: add basic ci setup

Diffstat:
A
ci/Containerfile
 | 
21
+++++++++++++++++++++
A
ci/jobs/0-build/build-docs.sh
 | 
12
++++++++++++
A
ci/jobs/0-build/job.sh
 | 
6
++++++

3 files changed, 39 insertions(+), 0 deletions(-)
diff --git a/ci/Containerfile b/ci/Containerfile
@@ -0,0 +1,21 @@
+FROM docker.io/library/debian:bookworm-slim
+
+ENV DEBIAN_FRONTEND=noninteractive
+
+# Install docs generation utils
+RUN apt-get update -yqq && \
+    apt-get install -yqq --no-install-recommends \
+                   make \
+                   graphviz \
+		   python3-sphinx \
+                   python3-recommonmark \
+                   texlive-latex-extra \
+                   texlive-fonts-recommended \
+                   tex-gyre \
+                   dvipng \
+                   latexmk \
+   && rm -rf /var/lib/apt/lists/*
+
+WORKDIR /workdir
+
+CMD ["bash", "/workdir/ci/jobs/0-build/job.sh"]
diff --git a/ci/jobs/0-build/build-docs.sh b/ci/jobs/0-build/build-docs.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+set -eu
+
+make html
+make latexpdf
+
+mkdir -p $HOME/build/docs/html/
+mkdir -p $HOME/build/docs/pdf/
+
+cp -r _build/html/* $HOME/build/docs/html/
+cp -r _build/latex/*.pdf $HOME/build/docs/pdf/
diff --git a/ci/jobs/0-build/job.sh b/ci/jobs/0-build/job.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -exuo pipefail
+
+job_dir=$(dirname "${BASH_SOURCE[0]}")
+
+"${job_dir}"/build-docs.sh