#!/usr/local/bin/perl
# [tex2html.pl]  12.03.1997 R.Scholz <mrz@informatik.uni-jena.de>
#
# Usage: tex2html.pl <file>
#    or: cat file | tex2html


push(@INC,"/local/tex-local/lib/perl");
require 'tex2html.pm';      # converts TeX to HTML
($NAME=$0) =~ s|.*/||;      # get basename from $0

$USAGE="Usage: $NAME file\n\n";

if (@ARGV >0)
{
  $arg=shift(@ARGV); unshift @ARGV,$arg;
  if (-f $arg) {  while (<>) { print &tex2html($_) }  }
  else { print $USAGE; }
}
else {  while (<>) { print &tex2html($_); }  }