#! /bin/sh
######################################
##### Model Transformation Tools #####
######################################
# Bourne shell script: doc2dvi
# Converts doc file to dvi file
# Copyright (c) P.J.Gawthrop 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 1998/03/03 08:35:50 peterg
## Initial revision
##
###############################################################
system=$1
# Inform user
echo Creating $system.dvi
#Run latex thrice
latex $system.doc > doc2dvi.log
latex $system.doc >> doc2dvi.log
latex $system.doc >> doc2dvi.log
# Make sure transformation succeeeds
exit 0