26 lines
633 B
Bash
Executable File
26 lines
633 B
Bash
Executable File
#!/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 ""
|
|
|
|
set -ev
|
|
|
|
wget https://codeload.github.com/stephengaito/pdf2htmlEX/zip/$PDF2HTMLEX_BRANCH
|
|
|
|
mv $PDF2HTMLEX_BRANCH $PDF2HTMLEX_BRANCH.zip
|
|
|
|
sudo apt install unzip
|
|
|
|
unzip $PDF2HTMLEX_BRANCH.zip
|
|
|
|
mv pdf2htmlEX-$PDF2HTMLEX_BRANCH pdf2htmlEX
|