17 lines
420 B
Bash
Executable File
17 lines
420 B
Bash
Executable File
#!/bin/bash
|
|
# 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 $*
|
|
|
|
for f in *.ttf; do
|
|
fontforge -script "${SCRIPT_DIR}/convert.pe" $f 2>/dev/null
|
|
done
|
|
|
|
for f in *.pfa; do
|
|
fontforge -script "${SCRIPT_DIR}/convert.pe" $f 2>/dev/null
|
|
# rm $f
|
|
done
|