#!/bin/csh
echo This is HtmlTeX 0.0001
echo Filename is $1
latex "\def\dohtml{yes}\input{$1}"
grabout `basename $1 .tex`.log >! `basename $1 .tex`.html