--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/manual/buildguide.sh	Sat Dec 22 17:52:45 2007 -0500
@@ -0,0 +1,32 @@
+#!/bin/sh
+# buildguide.sh - build the AG manual
+# usage: path-to-doc/manual/buildguide.sh
+
+# "usersguide.ind}" is required to work around a bug in latex
+# that still exists as recently as teTeX 3.0.
+
+SRCDIR=`dirname "$0"`
+
+TEXINPUTS=".:${SRCDIR}:"
+export TEXINPUTS
+
+touch usersguide.ind
+rm -f 'usersguide.ind}'
+ln -s 'usersguide.ind' 'usersguide.ind}'
+
+dolatex() {
+    echo '        [LATEX]   usersguide.tex'
+    #pdflatex "$SRCDIR/usersguide.tex"
+    pdflatex "\\newcommand{\\nohtml}{1}\\input{$SRCDIR/usersguide.tex}"
+}
+
+dolatex
+dolatex
+
+echo '        [INDEX]   usersguide.idx'
+makeindex usersguide.idx
+
+dolatex
+dolatex
+
+rm -f 'usersguide.ind}'