#!/bin/csh

set in = $1

if ("$in" == "" ) then
 set in = "-"
endif
if ($#argv > 0) shift

set out = ""

while ($#argv > 0 && "$1" =~ -*)
 switch ($1)
 case -o:
   shift
   if ($#argv < 1) goto usage
   set out = $1
   shift
   breaksw
 default:
    goto usage
    breaksw
 endsw
end


if ("$out"  == "") then
 cat $in | sed -f $WWW/bin/html2latex.sed 
else
 cat $in | sed -f $WWW/bin/html2latex.sed > $out
endif
exit 0

usage:
 echo "Usage: `basename $0` [INPUT] [-o OUTPUT]"
 exit 1


