#!/bin/sh # argument checking if [ ${#} -ne "2" ]; then echo "Usage: ${0} " exit 1 fi type wvDVI 2>&1 >/dev/null if [ ${?} -ne "0" ]; then echo "Could not find required program 'wvDVI'" exit 1 fi type dvips 2>&1 >/dev/null if [ ${?} -ne "0" ]; then echo "Could not find required program 'dvips'" exit 1 fi # intermediate file DVI_FILE=${2}.dvi wvDVI ${1} ${DVI_FILE} 2>&1 >/dev/null if [ ${?} -ne "0" ]; then echo "Could not convert into DVI" exit 1 fi dvips -o ${2} ${DVI_FILE} 2>&1 >/dev/null if [ ${?} -ne "0" ]; then echo "Could not convert into Postscript" exit 1 fi #clean up rm -f ${DVI_FILE} exit ${?}