summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJavier Sepulveda <javier.sepulveda@uv.es>2023-01-30 12:30:31 +0100
committerJavier Sepulveda <javier.sepulveda@uv.es>2023-01-30 12:30:31 +0100
commitfc8b09c5fef9d31b8fb2907989ab79f1a44535f0 (patch)
tree714bbd1dddb59aa0233e393646af89db25a13eeb
parent7264807726af1c3f5285009e7e47544173bb1477 (diff)
downloaddeployment-fc8b09c5fef9d31b8fb2907989ab79f1a44535f0.tar.gz
deployment-fc8b09c5fef9d31b8fb2907989ab79f1a44535f0.tar.bz2
deployment-fc8b09c5fef9d31b8fb2907989ab79f1a44535f0.zip
Conversion format from Bash to Docker: docs.git - Isolated
-rw-r--r--docker/docs-build/Dockerfile24
-rwxr-xr-xdocker/docs-build/build.sh2
-rw-r--r--docker/docs-build/requirements.txt1
-rwxr-xr-xdocker/docs-build/run.sh26
4 files changed, 29 insertions, 24 deletions
diff --git a/docker/docs-build/Dockerfile b/docker/docs-build/Dockerfile
index fe61794..5bcddce 100644
--- a/docker/docs-build/Dockerfile
+++ b/docker/docs-build/Dockerfile
@@ -1,7 +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
-ADD requirements.txt /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"]
-RUN pip3 install -r requirements.txt
diff --git a/docker/docs-build/build.sh b/docker/docs-build/build.sh
index 91182b2..0289932 100755
--- a/docker/docs-build/build.sh
+++ b/docker/docs-build/build.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
set -eu
diff --git a/docker/docs-build/requirements.txt b/docker/docs-build/requirements.txt
deleted file mode 100644
index 02bf565..0000000
--- a/docker/docs-build/requirements.txt
+++ /dev/null
@@ -1 +0,0 @@
-recommonmark
diff --git a/docker/docs-build/run.sh b/docker/docs-build/run.sh
index 33ba8a1..9f2eba6 100755
--- a/docker/docs-build/run.sh
+++ b/docker/docs-build/run.sh
@@ -1,28 +1,14 @@
-#!/bin/sh
+#!/bin/bash
set -eu
-# Instead of git clone, use this pre-built function
+# Execute the dockerfile, and leave output in local system
-fetch () {
- git clean -fdx
- git fetch
- # reset to updated upstream branch, but only if we're tracking a branch
- branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo head)
- git reset --hard "$branch"
-}
+docker run -v /home/docbuilder/docs:/output taler-docs-image
-cd /home/docbuilder/docs/
+# COPY data from volume to local
-fetch
+cp -r /home/docbuilder/docs/html/* /home/docbuilder/build/docs/html
+cp -r /home/docbuilder/docs/latex/*.pdf /home/docbuilder/build/docs/pdf
-# Execute the container 2 times, and compile html and Latex pdf files
-docker run -v /home/docbuilder/docs:/docs taler-docs-image make html
-
-docker run -v /home/docbuilder/docs:/docs taler-docs-image make latexpdf
-
-# COPY data from container volume -> to the server (html and pdf files)
-
-cp -r _build/html/* /home/docbuilder/build/docs/html
-cp -r _build/latex/*.pdf /home/docbuilder/build/docs/pdf