#!/bin/sh
TEXPROG=$1
TEXFILE=$2
shift 2
$TEXPROG $TEXFILE
$TEXPROG $TEXFILE
$TEXPROG $TEXFILE
tex4ht $TEXFILE
t4ht $TEXFILE "$@"
