1.1 --- a/doc-src/Makefile.in	Tue Jan 08 20:45:45 2002 +0100
     1.2 +++ b/doc-src/Makefile.in	Tue Jan 08 20:52:46 2002 +0100
     1.3 @@ -54,3 +54,9 @@
     1.4  
     1.5  isabelle_zf.pdf:
     1.6  	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
     1.7 +
     1.8 +typedef.ps:
     1.9 +	test -r typedef.ps || ln -s ../gfx/typedef.ps .
    1.10 +
    1.11 +typedef.pdf:
    1.12 +	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .

     2.1 --- a/doc-src/TutorialI/Makefile	Tue Jan 08 20:45:45 2002 +0100
     2.2 +++ b/doc-src/TutorialI/Makefile	Tue Jan 08 20:52:46 2002 +0100
     2.3 @@ -28,8 +28,7 @@
     2.4  
     2.5  dvi: $(NAME).dvi
     2.6  
     2.7 -$(NAME).dvi: $(FILES) isabelle_hol.eps Types/typedef.eps
     2.8 -	@test -r typedef.eps || ln -s ../gfx/typedef.ps .
     2.9 +$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps
    2.10  	$(LATEX) $(NAME)
    2.11  	$(BIBTEX) $(NAME)
    2.12  	$(LATEX) $(NAME)
    2.13 @@ -39,8 +38,7 @@
    2.14  
    2.15  pdf: $(NAME).pdf
    2.16  
    2.17 -$(NAME).pdf: $(FILES) isabelle_hol.pdf Types/typedef.pdf
    2.18 -	@test -r typedef.pdf || ln -s ../gfx/typedef.pdf .
    2.19 +$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf
    2.20  	$(PDFLATEX) $(NAME)
    2.21  	$(BIBTEX) $(NAME)
    2.22  	$(PDFLATEX) $(NAME)