--- a/doc-src/ZF/Makefile Tue May 04 17:59:31 1999 +0200
+++ b/doc-src/ZF/Makefile Tue May 04 17:59:55 1999 +0200
@@ -10,7 +10,7 @@
../rail.sty ../proof.sty ../iman.sty ../extra.sty
logics-ZF.dvi.gz: $(FILES)
- test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+ test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
-rm logics-ZF.dvi*
latex logics-ZF
rail logics-ZF
@@ -22,7 +22,7 @@
gzip -f logics-ZF.dvi
dist: $(FILES)
- test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+ test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
-rm logics-ZF.dvi*
latex logics-ZF
latex logics-ZF