# HG changeset patch
# User wenzelm
# Date 925921497 -7200
# Node ID c1d7791f03145d0ec08c92d0efcf985ee20ac5a2
# Parent  56ff27255ac866275111a6971bcd56075590909c
isabelle.eps;

diff -r 56ff27255ac8 -r c1d7791f0314 doc-src/Logics/Makefile
--- 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)