isabelle: doc-src/IsarOverview/Isar/document/Makefile@8e739a6eaf11 (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
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	15	../../isar-overview.dvi: root.dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	16	cp root.dvi ../../isar-overview.dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	17
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	18	root.dvi: .tex .sty *.bib
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	19	$(LATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	20	$(BIBTEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	21	$(LATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	22	$(LATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	23
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	24	pdf: ../../isar-overview.pdf
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	25
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	26	../../isar-overview.pdf: root.pdf
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	27	cp root.pdf ../../isar-overview.pdf
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	28
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	29	root.pdf: .tex .sty *.bib
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	30	$(PDFLATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	31	$(BIBTEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	32	$(PDFLATEX) root
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	33	$(PDFLATEX) root

author	obua
	Sun, 09 May 2004 23:04:36 +0200
changeset 14722	8e739a6eaf11
parent 14003	740788f3f6b7
child 15895	6bd7d0a04252
permissions	-rw-r--r--