
diff -r 6bf955db9b62 -r 28a49fe024c9 ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Tue Nov 03 07:10:05 2009 +0100
+++ b/ProgTutorial/document/root.tex	Tue Nov 03 13:57:03 2009 +0100
@@ -14,7 +14,6 @@
 \usepackage{boxedminipage}
 \usepackage{mathpartir}
 \usepackage{flafter}
-\usepackage{makeidx}
 \usepackage{index}
 \usepackage{tocbibind}
 \usepackage{tikz}
@@ -30,7 +29,8 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % indexing
-\makeindex
+\newindex{default}{idx}{ind}{Index}
+\newindex{str}{str}{stu}{Structure Index}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % For cross references to the other manuals:
@@ -180,7 +180,10 @@
 \bibliographystyle{abbrv}
 \bibliography{root}
 
-% index
+% indices
+\setindexname{Structure Index}
+\printindex[str]
+\setindexname{Index}
 \printindex
 
 \end{document}




