doc-src/LaTeXsugar/Makefile
changeset 15730 6480cd74feb3
parent 15728 a6a74062ffb0
child 15894 41f9c0902db1
equal deleted inserted replaced
15729:63915e6e5775 15730:6480cd74feb3
    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; \