--- a/doc-src/Makefile.in Fri May 14 22:30:24 2010 +0200
+++ b/doc-src/Makefile.in Fri May 14 22:43:00 2010 +0200
@@ -48,6 +48,9 @@
isabelle_nitpick.eps:
test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
+isabelle_sledgehammer.eps:
+ test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
+
isabelle.pdf:
test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
@@ -64,6 +67,9 @@
isabelle_nitpick.pdf:
test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
+isabelle_sledgehammer.pdf:
+ test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
+
typedef.ps:
test -r typedef.ps || ln -s ../gfx/typedef.ps .