mirror of
https://github.com/pdf2htmlEX/pdf2htmlEX.git
synced 2024-10-06 12:01:39 +00:00
21 lines
420 B
Bash
Executable File
21 lines
420 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
# Get directory of the script
|
|
SOURCE="${BASH_SOURCE[0]}"
|
|
while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done
|
|
SCRIPT_DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"/
|
|
# Execute
|
|
${SCRIPT_DIR}/pdftohtmlEX $*
|
|
|
|
if [ -f convert.pe ]; then
|
|
echo -n "Converting fonts: "
|
|
fontforge -script convert.pe 2>/dev/null
|
|
echo "."
|
|
rm convert.pe
|
|
fi
|
|
|
|
rm *.encoding 2>/dev/null
|
|
|
|
echo "Done."
|