| changeset 6623 | 021728c71030 |
| parent 6599 | dc5bf3f40ad3 |
| child 6629 | 6edc66a9d80b |
| 6622:90583d625648 | 6623:021728c71030 |
|---|---|
18 dvi: $(NAME).dvi |
18 dvi: $(NAME).dvi |
19 |
19 |
20 $(NAME).dvi: $(FILES) |
20 $(NAME).dvi: $(FILES) |
21 $(LATEX) $(NAME) |
21 $(LATEX) $(NAME) |
22 $(LATEX) $(NAME) |
22 $(LATEX) $(NAME) |
23 |
|
24 pdf: $(NAME).pdf |
|
25 |
|
26 $(NAME).pdf: $(FILES) |
|
27 $(PDFLATEX) $(NAME) |
|
28 $(FIXBOOKMARKS) $(NAME).out |
|
29 $(PDFLATEX) $(NAME) |