#!/bin/sh
if test $# -ge 1 -o "$1" = "-help"
then
    echo "usage: `basename $0` -help";
    echo "purpose: prepare the UG server version";
	echo "Options are";
    echo " help: this help message";
    exit 1;
fi

if test "x$UGROOT" = "x"
then
	echo "$0: to use $0 set shell environment variable UGROOT!";
	exit 1;
fi

cd ${UGROOT}/doc
ugmaketrees
ugmakeman
ugmakelatex
ugmakelatexrefs -new
ugtex progmanual.tex
ugtex refmanualI.tex
ugtex refmanualII.tex
ugtex applmanual.tex
ugtex progmanual.tex
ugtex refmanualI.tex
ugtex refmanualII.tex
ugtex applmanual.tex
ugtex progmanual.tex
ugtex refmanualI.tex
ugtex refmanualII.tex
ugtex applmanual.tex
dvips progmanual.dvi -o progmanual.ps
dvips refmanualI.dvi -o refmanualI.ps
dvips refmanualII.dvi -o refmanualII.ps
dvips applmanual.dvi -o applmanual.ps

