#!/bin/bash
#latex2html -html_version 4.1 -split 0 -show_section_numbers user.tex
latex user &&
latex user &&
makeindex user.idx &&
latex user &&
rm -r user
latex2html -init_file guide.latex2html-init user
rm -r user-guide/*
cp -p user/* user-guide