From efdadcf48aaa1eea4d6a3855c696aebedfd58e51 Mon Sep 17 00:00:00 2001 From: pulsar256 Date: Fri, 26 Sep 2014 19:05:41 +0200 Subject: [PATCH] Added Gimli-Based docs/*.md -> PDF Generation --- build_docs.sh | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100755 build_docs.sh diff --git a/build_docs.sh b/build_docs.sh new file mode 100755 index 0000000000..90bd561e1a --- /dev/null +++ b/build_docs.sh @@ -0,0 +1,18 @@ +#!/bin/bash + + +if which gimli >/dev/null; then + find docs -name "*.md" -exec cat {} > documentation.md \; + gimli -f documentation.md + mv documentation.pdf docs + rm documentation.md +else + echo -e "\nFAILED" + echo "Install Gimli to build the PDF documentation" + echo -e "https://github.com/walle/gimli\n" + exit 1 +fi + + + +