doc-src/Makefile.in
changeset 36926 90bb12cf8e36
parent 33191 fe3c65d9c577
child 42629 f61ac1573ee6
     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