Revise make_doc (#12)

Make it more uniform across all our packages

Also fix a bib entry

Author: fingolfin

doc/grpconst.bib

@@ -33,12 +33,13 @@ @phdthesis{Neu67
 }
 
 @book{Lau82,
-author       = "Reinhard Laue",
+author       = {Laue, Reinhard},
 title        = "Zur {Konstruktion} und {Klassifikation} endlicher
                 aufl{\accent127 o}sbarer {Gruppen}",
 series       = "Bayreuther Mathematische Schriften",
 volume       = "9",
 year         = "1982",
+publisher    = {Bayreuth Universität},
 notes        = "PAGES: ii + 304, 1 correction sheet,
                 Earlier version: Habilitationsschrift, RWTH Aachen, 1980",
 }

doc/make_doc

@@ -1,12 +1,26 @@
 #!/bin/sh
-rm -f manual.aux manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc
+set -e
+
+echo "TeXing documentation"
+# delete old stuff to avoid spurious or "hidden errors" caused by their presence
+rm -f manual.{aux,bbl,blg,dvi,idx,ilg,ind,lab,log,pdf,ps,six,toc}
+
+# TeX the manual
 tex manual
-../../../doc/manualindex manual
+# ... and build its bibliography
 bibtex manual
+# TeX the manual again to incorporate the ToC
 tex manual
+# ... and build the index
+../../../doc/manualindex manual
+# Finally TeX the manual again to get cross-references right
 tex manual
-pdftex manual; pdftex manual
 
-rm -rf ../htm
-mkdir ../htm
-../../../etc/convert.pl -c -i -n grpconst . ../htm
+# Create PDF version
+pdftex manual
+pdftex manual
+
+# The HTML version of the manual
+mkdir -p ../htm
+echo "Creating HTML documentation"
+../../../etc/convert.pl -i -u -c -n grpconst . ../htm