[taler-deployment] branch master updated: Conversion format from Bash to Docker: docs.git

[gnunet]

This is an automated email from the git hooks/post-receive script.

javier-sepulveda pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new f096ddd  Conversion format from Bash to Docker: docs.git
f096ddd is described below

commit f096ddde2cb597b106c8e204774d074bfc03ae15
Author: Javier Sepulveda <javier.sepulveda@uv.es>
AuthorDate: Wed Jan 25 13:41:49 2023 +0100

    Conversion format from Bash to Docker: docs.git
---
 docker/docs-build/Dockerfile       |  7 +++++++
 docker/docs-build/build.sh         |  5 +++++
 docker/docs-build/requirements.txt |  1 +
 docker/docs-build/run.sh           | 28 ++++++++++++++++++++++++++++
 4 files changed, 41 insertions(+)

diff --git a/docker/docs-build/Dockerfile b/docker/docs-build/Dockerfile
new file mode 100644
index 0000000..fe61794
--- /dev/null
+++ 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
new file mode 100755
index 0000000..91182b2
--- /dev/null
+++ 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
new file mode 100644
index 0000000..02bf565
--- /dev/null
+++ b/docker/docs-build/requirements.txt
@@ -0,0 +1 @@
+recommonmark
diff --git a/docker/docs-build/run.sh b/docker/docs-build/run.sh
new file mode 100755
index 0000000..33ba8a1
--- /dev/null
+++ 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

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.