Fixed the make recipe for the technical documentation.

The links within the index all pointed to the title page.

Makefile

@@ -92,6 +92,7 @@ $(MANUAL): $(DTXFILES)
 	makeindex -s gind.ist                       $(basename $@)
 	makeindex -s gglo.ist -o $(basename $@).gls $(basename $@).glo
 	pdflatex $<
+	pdflatex $<
 
 # This target generates a TeX directory structure file.
 $(TDSARCHIVE):