doc-src/System/Makefile
changeset 5374 6ef3742b6153
parent 5170 33fbffd06c12
child 5548 5cd3396802f5
     1.1 --- a/doc-src/System/Makefile	Mon Aug 24 21:09:59 1998 +0200
     1.2 +++ b/doc-src/System/Makefile	Wed Aug 26 16:33:29 1998 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  	 ../iman.sty ../extra.sty
     1.5  
     1.6  system.dvi.gz:   $(FILES)
     1.7 -	@ln -sf ../isabelle.eps .
     1.8 +	@ln -sf ../gfx/isabelle.eps .
     1.9  	-rm system.dvi*
    1.10  	latex system
    1.11  	latex system
    1.12 @@ -19,7 +19,7 @@
    1.13  	gzip -f system.dvi
    1.14  
    1.15  dist:   $(FILES)
    1.16 -	@ln -sf ../isabelle.eps .
    1.17 +	@ln -sf ../gfx/isabelle.eps .
    1.18  	-rm system.dvi*
    1.19  	latex system
    1.20  	latex system