Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/LaTeXsugar/Makefile
author wenzelm
Sat, 07 Apr 2012 16:41:59 +0200
changeset 47389 e8552cba702d
parent 42637 381fdcab0f36
permissions -rw-r--r--
explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions; tuned;


## targets

default: dvi

## paths

SRCPATH = Sugar/document

## dependencies

include ../Makefile.in

NAME = sugar

FILES = Sugar/document/root.tex Sugar/document/root.bib \
        Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
        Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
        ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty

GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \
          Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \
          Sugar/document/*.out

dvi: $(NAME).dvi

$(NAME).dvi: $(FILES)
	cd Sugar/document; \
	$(LATEX) root; \
	$(BIBTEX) root; \
	$(LATEX) root; \
	$(LATEX) root
	mv $(SRCPATH)/root.dvi $(NAME).dvi

pdf: $(NAME).pdf

$(NAME).pdf: $(FILES)
	cd Sugar/document; \
	$(PDFLATEX) root; \
	$(BIBTEX) root; \
	$(PDFLATEX) root; \
	$(PDFLATEX) root
	mv $(SRCPATH)/root.pdf $(NAME).pdf
isabelle