equal
deleted
inserted
replaced
18 |
18 |
19 FILES = Sugar/generated/root.tex Sugar/generated/root.bib \ |
19 FILES = Sugar/generated/root.tex Sugar/generated/root.bib \ |
20 Sugar/generated/mathpartir.sty Sugar/generated/LaTeXsugar.tex \ |
20 Sugar/generated/mathpartir.sty Sugar/generated/LaTeXsugar.tex \ |
21 Sugar/generated/OptionalSugar.tex |
21 Sugar/generated/OptionalSugar.tex |
22 |
22 |
|
23 GARBAGE = Sugar/generated/*.aux Sugar/generated/*.log Sugar/generated/*.toc \ |
|
24 Sugar/generated/*.idx Sugar/generated/*.bbl Sugar/generated/*.blg \ |
|
25 Sugar/generated/*.out |
|
26 |
23 dvi: $(NAME).dvi |
27 dvi: $(NAME).dvi |
24 |
28 |
25 $(NAME).dvi: $(FILES) |
29 $(NAME).dvi: $(FILES) |
26 cd Sugar/generated; \ |
30 cd Sugar/generated; \ |
27 $(LATEX) root; \ |
31 $(LATEX) root; \ |