1.1 --- a/doc-src/Makefile.in Fri May 07 17:49:32 1999 +0200
1.2 +++ b/doc-src/Makefile.in Fri May 07 17:50:43 1999 +0200
1.3 @@ -36,11 +36,11 @@
1.4 isabelle_zf.eps:
1.5 test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
1.6
1.7 -isabelle.png:
1.8 - test -r isabelle.png || ln -s ../gfx/isabelle.png .
1.9 +isabelle.pdf:
1.10 + test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
1.11
1.12 -isabelle_hol.png:
1.13 - test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
1.14 +isabelle_hol.pdf:
1.15 + test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
1.16
1.17 -isabelle_zf.png:
1.18 - test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .
1.19 +isabelle_zf.pdf:
1.20 + test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .