| changeset 43384 | 96a55556639c |
| parent 30457 | 28b487cd9e15 |
| 43383:f1ca2b0e0265 | 43384:96a55556639c |
|---|---|
21 |
21 |
22 HOL-Docs: $(LOG)/HOL-Docs.gz |
22 HOL-Docs: $(LOG)/HOL-Docs.gz |
23 |
23 |
24 $(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML |
24 $(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML |
25 @$(USEDIR) HOL Docs |
25 @$(USEDIR) HOL Docs |
26 @rm -f Docs/document/isabelle.sty |
|
27 @rm -f Docs/document/isabellesym.sty |
|
28 @rm -f Docs/document/pdfsetup.sty |
|
29 @rm -f Docs/document/session.tex |
|
26 |
30 |
27 |
31 |
28 ## clean |
32 ## clean |
29 |
33 |
30 clean: |
34 clean: |