#!/bin/tcsh
# htlatexc
# Claus Gerhardt
#
# I f you use the command
# htlatex "$filename" "" "" "-r"
# then htlatex will always recreate the .gifs even if they are already 
# present from a  former run. The default behaviour is not to recreate 
# the .gifs.

set path= ($path  /usr/local/bin /Library/TeX/texbin /usr/texbin)
htlatex  "$1"
