Add script to download pandoc binaries

This commit is contained in:
Jake Howard 2017-07-20 08:50:32 +01:00
parent 125c16902b
commit 4c6f3cc556
Signed by: jake
GPG key ID: 57AFB45680EDD477
2 changed files with 14 additions and 0 deletions

2
.gitignore vendored
View file

@ -110,3 +110,5 @@ fabric.properties
**/*.rs.bk
# End of https://www.gitignore.io/api/rust,intellij,jetbrains
lib/

12
scripts/install-deps.sh Normal file
View file

@ -0,0 +1,12 @@
#!/usr/bin/env bash
set -e
mkdir -p lib/
cd lib/
echo "> Downloading Pandoc..."
wget https://github.com/jgm/pandoc/releases/download/1.19.2.1/pandoc-1.19.2.1-1-amd64.deb
ar p pandoc-1.19.2.1-1-amd64.deb data.tar.gz | tar xz --strip-components 2 -C .
mv bin/* .
rm -r bin/ share/ pandoc-1.19.2.1-1-amd64.deb