diff -r 6bf955db9b62 -r 28a49fe024c9 IsaMakefile
--- a/IsaMakefile	Tue Nov 03 07:10:05 2009 +0100
+++ b/IsaMakefile	Tue Nov 03 13:57:03 2009 +0100
@@ -27,6 +27,9 @@
 	$(ISABELLE_TOOL) version > ProgTutorial/generated/version 
 	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
 	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
+	makeindex -o ProgTutorial/generated/root.stu ProgTutorial/generated/root.str
+	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
+##	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
 	@cp ProgTutorial/document.pdf progtutorial.pdf
 
 ## clean