diff --git a/build b/build new file mode 100755 index 0000000000000000000000000000000000000000..43dc5d3f7472877a7badbd729be8b91342b98b12 --- /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