isabelle: doc-src/LaTeXsugar/Makefile@76b6207eb000 (annotated)

15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	1
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	2	## targets
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	3
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	4	default: dvi
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	5
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	6	## paths
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	7
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	8	SRCPATH = Sugar/document
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	9
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	10	## dependencies
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	11
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	12	include ../Makefile.in
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	13
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	14	NAME = sugar
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	15
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	16	FILES = Sugar/document/root.tex Sugar/document/root.bib \
16395 3446d2b6a19f documented DUMMY nipkow parents: 15894 diff changeset	17	Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
26911 871cc7f11034 use Isabelle sty files from Doc/; wenzelm parents: 16395 diff changeset	18	Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
42511 bf89455ccf9d eliminated copies of isabelle style files; wenzelm parents: 26911 diff changeset	19	../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	20
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	21	GARBAGE = Sugar/document/.aux Sugar/document/.log Sugar/document/*.toc \
41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	22	Sugar/document/.idx Sugar/document/.bbl Sugar/document/*.blg \
41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	23	Sugar/document/*.out
15730 6480cd74feb3 fix: added path to garbage kleing parents: 15728 diff changeset	24
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	25	dvi: $(NAME).dvi
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	26
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	27	$(NAME).dvi: $(FILES)
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	28	cd Sugar/document; \
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	29	$(LATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	30	$(BIBTEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	31	$(LATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	32	$(LATEX) root
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	33	mv $(SRCPATH)/root.dvi $(NAME).dvi
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	34
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	35	pdf: $(NAME).pdf
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	36
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	37	$(NAME).pdf: $(FILES)
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	38	cd Sugar/document; \
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	39	$(PDFLATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	40	$(BIBTEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	41	$(PDFLATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	42	$(PDFLATEX) root
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	43	mv $(SRCPATH)/root.pdf $(NAME).pdf
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	44

author	wenzelm
	Thu, 05 Jul 2012 14:13:14 +0200
changeset 48190	76b6207eb000
parent 42637	381fdcab0f36
permissions	-rw-r--r--