#!/bin/sh
#########################################################################
##
#W  make_doc        make UNIPOT Package documentation         Greg Gamble
##
#H  $Id: make_doc,v 2.5 2004/10/21 21:35:08 gc1007 Exp $
##
##  This shell script uses TeX, BibTeX and MakeIndex to  build  the  .dvi
##  PostScript (commented out), PDF (commented out), and  HTML  (provided
##  you have tth and etc/convert.pl) documentation for the UNIPOT Package.
##

GAP_DIR=../../..
#GAP_DIR=/usr/local/lib/GAP/gap4r3

echo "TeXing documentation"

# TeX the manual and build its bibliography
tex manual; bibtex manual

# TeX the manual again to incorporate the ToC ... and build the index
tex manual; $GAP_DIR/doc/manualindex manual

# Finally TeX the manual again to get cross-references right
tex manual

# Create the PostScript version (uncomment next line, if needed)
dvips -D600 -Ppdf manual

# Create the PDF version (uncomment next line, if needed)
ps2pdf manual.ps

# The HTML version of the manual
mkdir -p ../htm
echo "Creating HTML documentation"
./convert.pl -i -c -t -n Unipot . ../htm

#########################################################################
##
#E