#!/bin/sh

if [ -e $1.texsmv ]
then
    smv2latex < $1.texsmv > $1.tex
    smvdetex < $1.texsmv > $1.smv
else
    echo "$1.texsmv not found"
    exit 1
fi