--- a/doc-src/Logics/Makefile Wed May 05 18:19:03 1999 +0200
+++ b/doc-src/Logics/Makefile Wed May 05 18:24:57 1999 +0200
@@ -18,7 +18,7 @@
dvi: $(NAME).dvi
-$(NAME).dvi: $(FILES) isabelle_hol.eps
+$(NAME).dvi: $(FILES) isabelle.eps
touch $(NAME).ind
$(LATEX) $(NAME)
$(BIBTEX) $(NAME)