equal
deleted
inserted
replaced
25 @rm -f $(GARBAGE) |
25 @rm -f $(GARBAGE) |
26 |
26 |
27 mrproper: |
27 mrproper: |
28 @rm -f $(OUTPUT) $(GARBAGE) |
28 @rm -f $(OUTPUT) $(GARBAGE) |
29 |
29 |
|
30 |
30 isabelle.eps: |
31 isabelle.eps: |
31 test -r isabelle.eps || ln -s ../gfx/isabelle.eps . |
32 test -r isabelle.eps || ln -s ../gfx/isabelle.eps . |
|
33 |
|
34 isabelle_isar.eps: |
|
35 test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps . |
32 |
36 |
33 isabelle_hol.eps: |
37 isabelle_hol.eps: |
34 test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps . |
38 test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps . |
35 |
39 |
36 isabelle_zf.eps: |
40 isabelle_zf.eps: |
37 test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps . |
41 test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps . |
38 |
42 |
|
43 |
39 isabelle.pdf: |
44 isabelle.pdf: |
40 test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf . |
45 test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf . |
|
46 |
|
47 isabelle_isar.pdf: |
|
48 test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf . |
41 |
49 |
42 isabelle_hol.pdf: |
50 isabelle_hol.pdf: |
43 test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf . |
51 test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf . |
44 |
52 |
45 isabelle_zf.pdf: |
53 isabelle_zf.pdf: |