1.1 --- a/doc-src/Makefile.in	Mon Jul 19 16:53:02 1999 +0200
     1.2 +++ b/doc-src/Makefile.in	Mon Jul 19 16:53:31 1999 +0200
     1.3 @@ -27,18 +27,26 @@
     1.4  mrproper:
     1.5  	@rm -f $(OUTPUT) $(GARBAGE)
     1.6  
     1.7 +
     1.8  isabelle.eps:
     1.9  	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.10  
    1.11 +isabelle_isar.eps:
    1.12 +	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
    1.13 +
    1.14  isabelle_hol.eps:
    1.15  	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    1.16  
    1.17  isabelle_zf.eps:
    1.18  	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    1.19  
    1.20 +
    1.21  isabelle.pdf:
    1.22  	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    1.23  
    1.24 +isabelle_isar.pdf:
    1.25 +	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
    1.26 +
    1.27  isabelle_hol.pdf:
    1.28  	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    1.29