Conversion format from Bash to Docker: docs.git

4 files changed, 41 insertions, 0 deletions

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