isabelle: doc-src/IsarOverview/Isar/document/Makefile@67040326ab7a (annotated)

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

author	wenzelm
	Thu, 15 May 2008 20:14:10 +0200
changeset 26913	67040326ab7a
parent 15896	8d61562244d5
child 42637	381fdcab0f36
permissions	-rw-r--r--