diff -r ffad77bb3046 -r 90bb12cf8e36 doc-src/Makefile.in
--- 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 .