| changeset 6617 | 2d56911d7329 |
| parent 6611 | 08dfd050b373 |
| child 6623 | 021728c71030 |
| 6616:eb87300379fe | 6617:2d56911d7329 |
|---|---|
28 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
29 |
29 |
30 |
30 |
31 pdf: $(NAME).pdf |
31 pdf: $(NAME).pdf |
32 |
32 |
33 $(NAME).pdf: $(FILES) isabelle.png |
33 $(NAME).pdf: $(FILES) isabelle.pdf |
34 touch $(NAME).ind |
34 touch $(NAME).ind |
35 $(PDFLATEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |
36 $(BIBTEX) $(NAME) |
36 $(BIBTEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
38 $(PDFLATEX) $(NAME) |
38 $(PDFLATEX) $(NAME) |