equal
deleted
inserted
replaced
67 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
67 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
68 cd Paper/generated ; bibtex root |
68 cd Paper/generated ; bibtex root |
69 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
69 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
70 cp Paper/generated/root.pdf paper.pdf |
70 cp Paper/generated/root.pdf paper.pdf |
71 |
71 |
|
72 ## Journal Version |
|
73 |
|
74 session4: Journal/ROOT.ML \ |
|
75 Journal/document/root* \ |
|
76 Journal/*.thy |
|
77 @$(USEDIR) -D generated -f ROOT.ML HOL Journal |
|
78 |
|
79 journal: session4 |
|
80 rm -f Journal/generated/*.aux # otherwise latex will fall over |
|
81 cd Journal/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
82 cd Journal/generated ; bibtex root |
|
83 cd Journal/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
84 cp Journal/generated/root.pdf journal.pdf |
|
85 |
72 |
86 |
73 ## clean |
87 ## clean |
74 |
88 |
75 clean: |
89 clean: |
76 rm -rf Slides/generated/* |
90 rm -rf Slides/generated/* |