isabelle: doc-src/LaTeXsugar/Makefile@1c7d7eaebdf2 (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	# $Id$
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
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	5	## targets
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	6
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	7	default: dvi
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	8
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	9	## paths
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	10
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	11	SRCPATH = Sugar/document
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	12
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	13	## dependencies
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	14
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	15	include ../Makefile.in
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	16
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	17	NAME = sugar
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	18
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	19	FILES = Sugar/document/root.tex Sugar/document/root.bib \
16395 3446d2b6a19f documented DUMMY nipkow parents: 15894 diff changeset	20	Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
26911 871cc7f11034 use Isabelle sty files from Doc/; wenzelm parents: 16395 diff changeset	21	Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
871cc7f11034 use Isabelle sty files from Doc/; wenzelm parents: 16395 diff changeset	22	../isabelle.sty ../isabellesym.sty ../pdfsetup.sty
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	23
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	24	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	25	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	26	Sugar/document/*.out
15730 6480cd74feb3 fix: added path to garbage kleing parents: 15728 diff changeset	27
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	28	dvi: $(NAME).dvi
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	29
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	30	$(NAME).dvi: $(FILES)
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	31	cd Sugar/document; \
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	32	$(LATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	33	$(BIBTEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	34	$(LATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	35	$(LATEX) root
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	36	mv $(SRCPATH)/root.dvi $(NAME).dvi
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	37
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	38	pdf: $(NAME).pdf
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	39
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	40	$(NAME).pdf: $(FILES)
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	41	cd Sugar/document; \
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	42	$(PDFLATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	43	$(BIBTEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	44	$(PDFLATEX) root; \
a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	45	$(PDFLATEX) root
15894 41f9c0902db1 move generated files to document/ to avoid CVS file overwrite in generated/ kleing parents: 15730 diff changeset	46	mv $(SRCPATH)/root.pdf $(NAME).pdf
15728 a6a74062ffb0 added Makefile and generated files to make document available for makedist kleing parents: diff changeset	47

author	blanchet
	Fri, 06 Aug 2010 11:35:10 +0200
changeset 38215	1c7d7eaebdf2
parent 26911	871cc7f11034
child 42511	bf89455ccf9d
permissions	-rw-r--r--