workaround for litte bug in our ln command
authoroheimb
Thu Sep 24 15:36:16 1998 +0200 (1998-09-24)
changeset 55485cd3396802f5
parent 5547 29f09a778037
child 5549 7e91d450fd6f
workaround for litte bug in our ln command
doc-src/Intro/Makefile
doc-src/Logics/Makefile
doc-src/Ref/Makefile
doc-src/System/Makefile
doc-src/Tutorial/Makefile
     1.1 --- a/doc-src/Intro/Makefile	Thu Sep 24 15:23:47 1998 +0200
     1.2 +++ b/doc-src/Intro/Makefile	Thu Sep 24 15:36:16 1998 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  	 ../proof.sty ../iman.sty ../extra.sty
     1.5  
     1.6  intro.dvi.gz:   $(FILES)
     1.7 -	@ln -sf ../gfx/isabelle.eps .
     1.8 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
     1.9  	-rm intro.dvi*
    1.10  	latex intro
    1.11  	bibtex intro
    1.12 @@ -21,7 +21,7 @@
    1.13  	gzip -f intro.dvi
    1.14  
    1.15  dist:   $(FILES)
    1.16 -	@ln -sf ../gfx/isabelle.eps .
    1.17 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.18  	-rm intro.dvi*
    1.19  	latex intro
    1.20  	latex intro
     2.1 --- a/doc-src/Logics/Makefile	Thu Sep 24 15:23:47 1998 +0200
     2.2 +++ b/doc-src/Logics/Makefile	Thu Sep 24 15:36:16 1998 +0200
     2.3 @@ -10,7 +10,7 @@
     2.4  	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
     2.5  
     2.6  logics.dvi.gz:   $(FILES) 
     2.7 -	@ln -sf ../gfx/isabelle.eps .
     2.8 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
     2.9  	-rm logics.dvi*
    2.10  	latex logics
    2.11  	rail logics
    2.12 @@ -22,7 +22,7 @@
    2.13  	gzip -f logics.dvi
    2.14  
    2.15  dist:   $(FILES) 
    2.16 -	@ln -sf ../gfx/isabelle.eps .
    2.17 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    2.18  	-rm logics.dvi*
    2.19  	latex logics
    2.20  	latex logics
     3.1 --- a/doc-src/Ref/Makefile	Thu Sep 24 15:23:47 1998 +0200
     3.2 +++ b/doc-src/Ref/Makefile	Thu Sep 24 15:36:16 1998 +0200
     3.3 @@ -12,8 +12,8 @@
     3.4  	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
     3.5  
     3.6  ref.dvi.gz:   $(FILES) 
     3.7 -	/bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps .
     3.8 -	rm -f ref.dvi*
     3.9 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    3.10 +	-rm ref.dvi*
    3.11  	latex ref
    3.12  	rail ref
    3.13  	bibtex ref
    3.14 @@ -24,7 +24,7 @@
    3.15  	gzip -f ref.dvi
    3.16  
    3.17  dist:   $(FILES) 
    3.18 -	/bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps .
    3.19 +	test -f isabelle.eps || ln -s ../gfx/isabelle.eps .
    3.20  	rm -f ref.dvi*
    3.21  	latex ref
    3.22  	latex ref
     4.1 --- a/doc-src/System/Makefile	Thu Sep 24 15:23:47 1998 +0200
     4.2 +++ b/doc-src/System/Makefile	Thu Sep 24 15:36:16 1998 +0200
     4.3 @@ -10,7 +10,7 @@
     4.4  	 ../iman.sty ../extra.sty
     4.5  
     4.6  system.dvi.gz:   $(FILES)
     4.7 -	@ln -sf ../gfx/isabelle.eps .
     4.8 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
     4.9  	-rm system.dvi*
    4.10  	latex system
    4.11  	latex system
    4.12 @@ -19,7 +19,7 @@
    4.13  	gzip -f system.dvi
    4.14  
    4.15  dist:   $(FILES)
    4.16 -	@ln -sf ../gfx/isabelle.eps .
    4.17 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    4.18  	-rm system.dvi*
    4.19  	latex system
    4.20  	latex system
     5.1 --- a/doc-src/Tutorial/Makefile	Thu Sep 24 15:23:47 1998 +0200
     5.2 +++ b/doc-src/Tutorial/Makefile	Thu Sep 24 15:36:16 1998 +0200
     5.3 @@ -11,7 +11,7 @@
     5.4  
     5.5  tutorial.ps.gz:   $(FILES)
     5.6  	isatool make
     5.7 -	-ln -sf ../gfx/isabelle_hol.eps .
     5.8 +	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
     5.9  	-rm tutorial.dvi*
    5.10  	latex tutorial
    5.11  	bibtex tutorial
    5.12 @@ -23,7 +23,7 @@
    5.13  	gzip tutorial.ps
    5.14  
    5.15  dist:   $(FILES) 
    5.16 -	-ln -sf ../gfx/isabelle_hol.eps .
    5.17 +	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    5.18  	-rm tutorial.dvi*
    5.19  	latex tutorial
    5.20  	latex tutorial