home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
-
- if test $# -ne 1
- then
- echo "Usage: $0 <img file>[.img]"
- exit 1
- fi
-
- input=`basename $1 .img`
-
- # Show an image via -strips.
- imageto -verbose -strips ${input}.img
-
- rm -f ${input}sp.tfm
- fontconvert -verbose -tfm ./${input}sp.1200
-
- gftopk -v ./${input}sp.1200gf
- rm -f ${input}sp.1200gf
-
- echo ./${input}sp | tex $research/imageto/strips
- mv strips.dvi ${input}sp.dvi
-
- rm strips.log ${input}sp.pl
-
- exec xdvi -p 1200 -s 12 ${input}sp
-