From e043be0a92ee337753c8bc276474c00a5122bbb8 Mon Sep 17 00:00:00 2001
From: Stefan Hynek <stefan.hynek@uni-goettingen.de>
Date: Fri, 18 Sep 2020 14:40:22 +0200
Subject: [PATCH] chore(build): provide script `build` to build locally with
 docker

---
 build | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 build

diff --git a/build b/build
new file mode 100755
index 0000000..43dc5d3
--- /dev/null
+++ b/build
@@ -0,0 +1,3 @@
+cat technical-reference-main.txt | while read LINE; do cat $LINE >> technical-reference.md ; done
+npx markdownlint -o markdownlint-report.txt technical-reference.md
+docker run --rm pandoc/latex -v .:/data pandoc --template=rdd.latex technical-reference.md -o technical-reference.pdf
-- 
GitLab