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)