| changeset 62 | d94209ad2880 |
| parent 56 | b3898315e687 |
| 61:070f543e2560 | 62:d94209ad2880 |
|---|---|
20 ## ListP |
20 ## ListP |
21 |
21 |
22 ListP: $(OUT)/ListP |
22 ListP: $(OUT)/ListP |
23 |
23 |
24 $(OUT)/ListP: ROOT.ML document/root.tex *.thy |
24 $(OUT)/ListP: ROOT.ML document/root.tex *.thy |
25 @$(USEDIR) -b HOL ListP |
25 @$(USEDIR) -D generated -b HOL ListP |
26 cd generated; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
27 cd generated; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
28 cd generated; cp root.pdf ../ListP.pdf |
|
26 |
29 |
27 |
30 |
28 ## clean |
31 ## clean |
29 |
32 |
30 clean: |
33 clean: |