| changeset 12643 | 39b93da27bc9 |
| parent 12626 | fcff0c66b4f4 |
| child 12654 | 200565ba1471 |
| 12642:40fbd988b59b | 12643:39b93da27bc9 |
|---|---|
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 |