From c46d2ad73347821447ce96604e0bb0b8293114b7 Mon Sep 17 00:00:00 2001 From: Stephen Gaito Date: Tue, 17 Dec 2019 16:06:00 +0000 Subject: [PATCH] create getPdf2htmlEXBrew for home/linux brew users --- .../{getPdf2htmlEX => getPdf2htmlEXApt} | 0 buildScripts/getPdf2htmlEXBrew | 24 +++++++++++++++++++ 2 files changed, 24 insertions(+) rename buildScripts/{getPdf2htmlEX => getPdf2htmlEXApt} (100%) create mode 100755 buildScripts/getPdf2htmlEXBrew diff --git a/buildScripts/getPdf2htmlEX b/buildScripts/getPdf2htmlEXApt similarity index 100% rename from buildScripts/getPdf2htmlEX rename to buildScripts/getPdf2htmlEXApt diff --git a/buildScripts/getPdf2htmlEXBrew b/buildScripts/getPdf2htmlEXBrew new file mode 100755 index 0000000..4754fe0 --- /dev/null +++ b/buildScripts/getPdf2htmlEXBrew @@ -0,0 +1,24 @@ +#!/bin/bash + +# This bash script automates the process of getting the original pdf2htmlEX +# source + +PDF2HTMLEX_BRANCH=update-poppler + +echo "" +echo "-------------------------------------------------------------------" +echo "GETTING pdf2htmlEX sources (using wget)" +echo " (PDF2HTMLEX_BRANCH: [$PDF2HTMLEX_BRANCH])" +echo "-------------------------------------------------------------------" +echo "" + + +wget https://codeload.github.com/stephengaito/pdf2htmlEX/zip/$PDF2HTMLEX_BRANCH + +mv $PDF2HTMLEX_BRANCH $PDF2HTMLEX_BRANCH.zip + +brew install unzip + +unzip $PDF2HTMLEX_BRANCH.zip + +mv pdf2htmlEX-$PDF2HTMLEX_BRANCH pdf2htmlEX