[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[taler-deployment] branch master updated: Conversion format from Bash to
From: |
gnunet |
Subject: |
[taler-deployment] branch master updated: Conversion format from Bash to Docker: docs.git |
Date: |
Wed, 25 Jan 2023 13:45:50 +0100 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [taler-deployment] branch master updated: Conversion format from Bash to Docker: docs.git,
gnunet <=