1.1 --- a/doc-src/Makefile.in Fri May 14 22:30:24 2010 +0200
1.2 +++ b/doc-src/Makefile.in Fri May 14 22:43:00 2010 +0200
1.3 @@ -48,6 +48,9 @@
1.4 isabelle_nitpick.eps:
1.5 test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
1.6
1.7 +isabelle_sledgehammer.eps:
1.8 + test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
1.9 +
1.10
1.11 isabelle.pdf:
1.12 test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
1.13 @@ -64,6 +67,9 @@
1.14 isabelle_nitpick.pdf:
1.15 test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
1.16
1.17 +isabelle_sledgehammer.pdf:
1.18 + test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
1.19 +
1.20 typedef.ps:
1.21 test -r typedef.ps || ln -s ../gfx/typedef.ps .
1.22