diff -r 5c5c68f4610d -r 5be2d1745c61 doc-src/IsarRef/Makefile
--- a/doc-src/IsarRef/Makefile	Mon May 08 11:13:11 2000 +0200
+++ b/doc-src/IsarRef/Makefile	Mon May 08 11:13:28 2000 +0200
@@ -20,7 +20,6 @@
 dvi: $(NAME).dvi
 
 $(NAME).dvi: $(FILES) isabelle_isar.eps
-	touch $(NAME).ind
 	$(LATEX) $(NAME)
 	$(RAIL) $(NAME)
 	$(BIBTEX) $(NAME)
@@ -32,7 +31,6 @@
 pdf: $(NAME).pdf
 
 $(NAME).pdf: $(FILES) isabelle_isar.pdf
-	touch $(NAME).ind
 	$(PDFLATEX) $(NAME)
 	$(RAIL) $(NAME)
 	$(BIBTEX) $(NAME)