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