1.1 --- a/doc-src/Intro/Makefile	Fri May 07 17:49:32 1999 +0200
     1.2 +++ b/doc-src/Intro/Makefile	Fri May 07 17:50:43 1999 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4  
     1.5  pdf: $(NAME).pdf
     1.6  
     1.7 -$(NAME).pdf: $(FILES) isabelle.png
     1.8 +$(NAME).pdf: $(FILES) isabelle.pdf
     1.9  	touch $(NAME).ind
    1.10  	$(PDFLATEX) $(NAME)
    1.11  	$(BIBTEX) $(NAME)

     2.1 --- a/doc-src/Makefile.in	Fri May 07 17:49:32 1999 +0200
     2.2 +++ b/doc-src/Makefile.in	Fri May 07 17:50:43 1999 +0200
     2.3 @@ -36,11 +36,11 @@
     2.4  isabelle_zf.eps:
     2.5  	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
     2.6  
     2.7 -isabelle.png:
     2.8 -	test -r isabelle.png || ln -s ../gfx/isabelle.png .
     2.9 +isabelle.pdf:
    2.10 +	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    2.11  
    2.12 -isabelle_hol.png:
    2.13 -	test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
    2.14 +isabelle_hol.pdf:
    2.15 +	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    2.16  
    2.17 -isabelle_zf.png:
    2.18 -	test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .
    2.19 +isabelle_zf.pdf:
    2.20 +	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .