pdf2html.sh

   1 #!/bin/sh
   2
   3 name=$(basename $1 |sed 's/.pdf$//')
   4 [ $name.pdf = $1 ] || {
   5         echo 'usage: ./pdf2html.sh nxxxx.pdf' 1>&2
   6         exit 1
   7 }
   8
   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