--- a/doc-src/Makefile.in Mon Oct 26 14:54:43 2009 +0100
+++ b/doc-src/Makefile.in Mon Oct 26 14:57:49 2009 +0100
@@ -45,6 +45,9 @@
isabelle_zf.eps:
test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
+isabelle_nitpick.eps:
+ test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
+
isabelle.pdf:
test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
@@ -58,6 +61,9 @@
isabelle_zf.pdf:
test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
+isabelle_nitpick.pdf:
+ test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
+
typedef.ps:
test -r typedef.ps || ln -s ../gfx/typedef.ps .