doc-src/ZF/Makefile
changeset 6579 d0c6bb2577b1
parent 6121 5fe77b9b5185
child 6595 fc06a79e1f09
     1.1 --- a/doc-src/ZF/Makefile	Tue May 04 17:59:31 1999 +0200
     1.2 +++ b/doc-src/ZF/Makefile	Tue May 04 17:59:55 1999 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
     1.5  
     1.6  logics-ZF.dvi.gz:   $(FILES) 
     1.7 -	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
     1.8 +	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
     1.9  	-rm logics-ZF.dvi*
    1.10  	latex logics-ZF
    1.11  	rail logics-ZF
    1.12 @@ -22,7 +22,7 @@
    1.13  	gzip -f logics-ZF.dvi
    1.14  
    1.15  dist:   $(FILES) 
    1.16 -	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.17 +	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    1.18  	-rm logics-ZF.dvi*
    1.19  	latex logics-ZF
    1.20  	latex logics-ZF