--- a/doc-src/Makefile.in Mon Jul 19 16:53:02 1999 +0200
+++ b/doc-src/Makefile.in Mon Jul 19 16:53:31 1999 +0200
@@ -27,18 +27,26 @@
mrproper:
@rm -f $(OUTPUT) $(GARBAGE)
+
isabelle.eps:
test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+isabelle_isar.eps:
+ test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
+
isabelle_hol.eps:
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
isabelle_zf.eps:
test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
+
isabelle.pdf:
test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
+isabelle_isar.pdf:
+ test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
+
isabelle_hol.pdf:
test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .