--- a/ProgTutorial/document/root.tex	Thu Aug 20 14:19:39 2009 +0200
+++ b/ProgTutorial/document/root.tex	Thu Aug 20 22:30:20 2009 +0200
@@ -27,7 +27,6 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % indexing
 \makeindex
-\newcommand{\indexdef}[2]{\index{#1 (#2)}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % For cross references to the other manuals: