taler-deployment

commit f096ddde2cb597b106c8e204774d074bfc03ae15
parent 7102e9fa700b54529f3feb17cebb6276746d62f2
Author: Javier Sepulveda <javier.sepulveda@uv.es>
Date:   Wed, 25 Jan 2023 13:41:49 +0100

Conversion format from Bash to Docker: docs.git

Diffstat:
A
docker/docs-build/Dockerfile
 | 
7
+++++++
A
docker/docs-build/build.sh
 | 
5
+++++
A
docker/docs-build/requirements.txt
 | 
1
+
A
docker/docs-build/run.sh
 | 
28
++++++++++++++++++++++++++++

4 files changed, 41 insertions(+), 0 deletions(-)
diff --git a/docker/docs-build/Dockerfile b/docker/docs-build/Dockerfile
@@ -0,0 +1,7 @@
+FROM sphinxdoc/sphinx-latexpdf
+
+WORKDIR /docs
+
+ADD requirements.txt /docs
+
+RUN pip3 install -r requirements.txt
diff --git a/docker/docs-build/build.sh b/docker/docs-build/build.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+set -eu
+
+docker build . -t taler-docs-image
diff --git a/docker/docs-build/requirements.txt b/docker/docs-build/requirements.txt
@@ -0,0 +1 @@
+recommonmark
diff --git a/docker/docs-build/run.sh b/docker/docs-build/run.sh
@@ -0,0 +1,28 @@
+#!/bin/sh
+
+set -eu
+
+# Instead of git clone, use this pre-built function
+
+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"
+}
+
+cd /home/docbuilder/docs/
+
+fetch 
+
+# 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