| changeset 6623 | 021728c71030 |
| parent 6618 | 13293a7d4a57 |
| child 6629 | 6edc66a9d80b |
| 6622:90583d625648 | 6623:021728c71030 |
|---|---|
28 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
29 $(LATEX) $(NAME) |
29 $(LATEX) $(NAME) |
30 $(SEDINDEX) $(NAME) |
30 $(SEDINDEX) $(NAME) |
31 $(LATEX) $(NAME) |
31 $(LATEX) $(NAME) |
32 |
32 |
33 |
|
34 pdf: $(NAME).pdf |
33 pdf: $(NAME).pdf |
35 |
34 |
36 $(NAME).pdf: $(FILES) isabelle.pdf |
35 $(NAME).pdf: $(FILES) isabelle.pdf |
37 touch $(NAME).ind |
36 touch $(NAME).ind |
38 $(PDFLATEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |