| changeset 12672 | f85386e8acdf |
| parent 12654 | 200565ba1471 |
| child 12676 | 99e7b2045d8f |
| 12671:bb6db6c0d4df | 12672:f85386e8acdf |
|---|---|
46 $(PDFLATEX) $(NAME) |
46 $(PDFLATEX) $(NAME) |
47 $(PDFLATEX) $(NAME) |
47 $(PDFLATEX) $(NAME) |
48 $(SEDINDEX) $(NAME) |
48 $(SEDINDEX) $(NAME) |
49 $(FIXBOOKMARKS) $(NAME).out |
49 $(FIXBOOKMARKS) $(NAME).out |
50 $(PDFLATEX) $(NAME) |
50 $(PDFLATEX) $(NAME) |
51 $(FIXBOOKMARKS) main.out |
51 $(FIXBOOKMARKS) $(NAME).out |