| changeset 6611 | 08dfd050b373 |
| parent 6599 | dc5bf3f40ad3 |
| child 6617 | 2d56911d7329 |
| 6610:becd902a0e97 | 6611:08dfd050b373 |
|---|---|
24 $(BIBTEX) $(NAME) |
24 $(BIBTEX) $(NAME) |
25 $(LATEX) $(NAME) |
25 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
27 $(SEDINDEX) $(NAME) |
27 $(SEDINDEX) $(NAME) |
28 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
29 |
|
30 |
|
31 pdf: $(NAME).pdf |
|
32 |
|
33 $(NAME).pdf: $(FILES) isabelle.png |
|
34 touch $(NAME).ind |
|
35 $(PDFLATEX) $(NAME) |
|
36 $(BIBTEX) $(NAME) |
|
37 $(PDFLATEX) $(NAME) |
|
38 $(PDFLATEX) $(NAME) |
|
39 $(SEDINDEX) $(NAME) |
|
40 $(FIXBOOKMARKS) $(NAME).out |
|
41 $(PDFLATEX) $(NAME) |