isabelle: doc-src/IsarOverview/Isar/document/Makefile@8e3891309a8e (annotated)

14003 740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	1
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	2	## targets
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	3
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	4	default: dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	5
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	6	## dependencies
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	7
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	8	include ../../../Makefile.in
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	9
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	10	dvi: ../../isar-overview.dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	11
26913 67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 15896 diff changeset	12	../../isar-overview.dvi: .tex .bib
14003 740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	13	$(LATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	14	$(BIBTEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	15	$(LATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	16	$(LATEX) root
15896 8d61562244d5 fixed dependencies kleing parents: 15895 diff changeset	17	mv root.dvi ../../isar-overview.dvi
14003 740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	18
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	19	pdf: ../../isar-overview.pdf
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	20
26913 67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 15896 diff changeset	21	../../isar-overview.pdf: .tex .bib
14003 740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	22	$(PDFLATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	23	$(BIBTEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	24	$(PDFLATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	25	$(PDFLATEX) root
15896 8d61562244d5 fixed dependencies kleing parents: 15895 diff changeset	26	mv root.pdf ../../isar-overview.pdf

author	blanchet
	Fri, 18 Nov 2011 11:47:12 +0100
changeset 45567	8e3891309a8e
parent 42637	381fdcab0f36
permissions	-rw-r--r--