changeset 12677 | 73c070d5c031 |
parent 10604 | 9bb2e34df0cd |
child 15646 | b45393fb38c0 |
1.1 --- a/doc-src/Makefile.in Tue Jan 08 20:45:45 2002 +0100 1.2 +++ b/doc-src/Makefile.in Tue Jan 08 20:52:46 2002 +0100 1.3 @@ -54,3 +54,9 @@ 1.4 1.5 isabelle_zf.pdf: 1.6 test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf . 1.7 + 1.8 +typedef.ps: 1.9 + test -r typedef.ps || ln -s ../gfx/typedef.ps . 1.10 + 1.11 +typedef.pdf: 1.12 + test -r typedef.pdf || ln -s ../gfx/typedef.pdf .