#!/bin/sh
# xdvi's a DVI file, called from MMiSSLaTeX
# 
# Argument 1 = working directory
# Argument 2 = name of DVI file.
exec @XDVI@ $1/$2