changeset 12677 | 73c070d5c031 |
parent 10604 | 9bb2e34df0cd |
child 15646 | b45393fb38c0 |
--- a/doc-src/Makefile.in Tue Jan 08 20:45:45 2002 +0100 +++ b/doc-src/Makefile.in Tue Jan 08 20:52:46 2002 +0100 @@ -54,3 +54,9 @@ isabelle_zf.pdf: test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf . + +typedef.ps: + test -r typedef.ps || ln -s ../gfx/typedef.ps . + +typedef.pdf: + test -r typedef.pdf || ln -s ../gfx/typedef.pdf .