1 files changed, 27 insertions, 0 deletions
diff --git a/docker/docs-build/Dockerfile b/docker/docs-build/Dockerfile
new file mode 100644
index 0000000..5bcddce
--- /dev/null
+++ b/docker/docs-build/Dockerfile
@@ -0,0 +1,27 @@
+# Stage 1
+
+FROM debian:bookworm-slim AS repo
+
+RUN apt update \
+ && apt install --no-install-recommends -y ca-certificates git
+
+RUN git clone --branch=master --depth=1 https://git.taler.net/docs.git
+
+# Final image
+
+FROM sphinxdoc/sphinx-latexpdf
+
+# Copy content from one container to the other
+
+WORKDIR /docs
+
+COPY --from=repo /docs .
+
+# Install dependencies
+
+RUN python3 -m pip install --no-cache-dir recommonmark
+
+# Compile /docs/*
+
+ENTRYPOINT ["make", "BUILDDIR=/output", "-C", "/docs", "html", "latexpdf"]
+