diff -r de49d5780f57 -r 74f0a06f751f ProgTutorial/document/root.tex --- 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: