3 name=$(basename $1 |sed 's/.pdf$//')
4 [ $name.pdf = $1 ] || {
5 echo 'usage: ./pdf2html.sh nxxxx.pdf' 1>&2
9 pdftotext -layout $name.pdf
10 mv $name.txt $name.txt.utf8
11 ./translit.sh <$name.txt.utf8 >$name.txt
12 ./tohtml.sh <$name.txt >$name.html
13 ./tohtml.pre.sh <$name.txt >$name.pre.html