#!/bin/sh

# Makes HTML documentation
# Dominic Ford
# 19/01/2007

whichout=`which latex2html 2> /dev/null`
if [ "`echo $whichout | sed 's/\([a-z]*\).*/\1/'`" = "no" ] ; then whichout="" ; fi
if [ "$whichout" != "" ] ; then
 echo "Making HTML documentation..."
 mkdir -p html
 latex2html pyxplot.tex -t "PyXPlot Users' Guide" -address "Dominic Ford, 19 January 2007" -show_section_numbers -local_icons -dir html &> /dev/null
fi

