Docker image and files needed to generate pdf

Dockerfile

@@ -0,0 +1,14 @@
+FROM ubuntu:16.04
+
+ENV DEBIAN_FRONTEND=noninteractive
+
+RUN set -e -x ;\
+    apt -y update ;\
+    apt -y install \
+        make \
+        python3 \
+        latexmk python3-sphinx texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended; \
+    apt -y autoremove ;\
+    rm -rf /var/lib/apt/lists/*
+
+WORKDIR /work

Makefile

@@ -1,6 +1,9 @@
 html:
 	$(MAKE) -C docs html
 
+pdf:
+	$(MAKE) -C docs latexpdf
+
 clean:
 	$(MAKE) -C docs clean
 	rm -rf docs/build

build-docker-image.sh

@@ -0,0 +1 @@
+docker build -t="docbuild:1.0" .

docker-run.sh

@@ -0,0 +1 @@
+docker run --user `id -u`:`id -g` --rm -v $(pwd):/work docbuild:1.0 "$@"