summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2019-12-10 20:27:38 +0100
committerPatrick Georgi <pgeorgi@google.com>2019-12-12 08:18:49 +0000
commita73317e5cff3d104d567c341b114d242e0c0e5c0 (patch)
tree7366781ce486cdd1a740c9590419bbe40c11b1cf /util
parent5ee82832503ab46affbc5f12ce1088046e8ae28c (diff)
Documentation: enable ditaa integration
For prettier diagrams: http://ditaa.sourceforge.net/ Change-Id: Ic28dc5ea9d82ff6bf8654e2e33e675a536348654 Signed-off-by: Patrick Georgi <pgeorgi@google.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/37646 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'util')
-rw-r--r--util/docker/doc.coreboot.org/Dockerfile9
-rwxr-xr-xutil/docker/doc.coreboot.org/ditaa.sh2
2 files changed, 10 insertions, 1 deletions
diff --git a/util/docker/doc.coreboot.org/Dockerfile b/util/docker/doc.coreboot.org/Dockerfile
index d05e8b5835..23f5f50403 100644
--- a/util/docker/doc.coreboot.org/Dockerfile
+++ b/util/docker/doc.coreboot.org/Dockerfile
@@ -2,14 +2,21 @@ FROM alpine:3.8
COPY makeSphinx.sh /makeSphinx.sh
-RUN apk add --no-cache python3 make bash git \
+ADD https://sourceforge.net/projects/ditaa/files/ditaa/0.9/ditaa0_9.zip/download /tmp/ditaa.zip
+
+RUN apk add --no-cache python3 make bash git openjdk8-jre ttf-dejavu fontconfig \
&& pip3 install --upgrade --no-cache-dir pip \
&& pip3 install --no-cache-dir \
sphinx===1.8.3 \
sphinx_rtd_theme===0.4.2 \
recommonmark===0.5.0 \
sphinx_autobuild===0.7.1 \
+ sphinxcontrib-ditaa===0.6 \
&& chmod 755 /makeSphinx.sh
+RUN cd /tmp \
+ && unzip ditaa.zip \
+ && mv ditaa0_9.jar /usr/lib
+ADD ditaa.sh /usr/bin/ditaa
VOLUME /data-in /data-out
diff --git a/util/docker/doc.coreboot.org/ditaa.sh b/util/docker/doc.coreboot.org/ditaa.sh
new file mode 100755
index 0000000000..5f27f53497
--- /dev/null
+++ b/util/docker/doc.coreboot.org/ditaa.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec java -jar /usr/lib/ditaa0_9.jar $*