isabelle: doc-src/ZF/Makefile@f9d7f1331a00 (annotated)

6595 fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	1	#
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	2	# $Id$
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	3	#
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	4
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	5	## targets
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	6
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	7	default: dvi
6121 5fe77b9b5185 the separate FOL and ZF logics manual, with new material on datatypes and paulson parents: diff changeset	8
5fe77b9b5185 the separate FOL and ZF logics manual, with new material on datatypes and paulson parents: diff changeset	9
6595 fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	10	## dependencies
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	11
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	12	include ../Makefile.in
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	13
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	14	NAME = logics-ZF
26913 67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 14159 diff changeset	15	FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \
67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 14159 diff changeset	16	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \
42511 bf89455ccf9d eliminated copies of isabelle style files; wenzelm parents: 26913 diff changeset	17	../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
6595 fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	18
42518 57367832b81a include static rail files for old manuals, to make standard make job independent of the "rail" executable; wenzelm parents: 42511 diff changeset	19	rail:
57367832b81a include static rail files for old manuals, to make standard make job independent of the "rail" executable; wenzelm parents: 42511 diff changeset	20	$(RAIL) $(NAME)
57367832b81a include static rail files for old manuals, to make standard make job independent of the "rail" executable; wenzelm parents: 42511 diff changeset	21
6595 fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	22	dvi: $(NAME).dvi
6121 5fe77b9b5185 the separate FOL and ZF logics manual, with new material on datatypes and paulson parents: diff changeset	23
6595 fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	24	$(NAME).dvi: $(FILES) isabelle_zf.eps
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	25	$(LATEX) $(NAME)
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	26	$(BIBTEX) $(NAME)
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	27	$(LATEX) $(NAME)
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	28	$(LATEX) $(NAME)
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	29	$(SEDINDEX) $(NAME)
fc06a79e1f09 improved Makefile; wenzelm parents: 6579 diff changeset	30	$(LATEX) $(NAME)
6623 021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	31
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	32	pdf: $(NAME).pdf
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	33
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	34	$(NAME).pdf: $(FILES) isabelle_zf.pdf
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	35	$(PDFLATEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	36	$(BIBTEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	37	$(PDFLATEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	38	$(PDFLATEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	39	$(SEDINDEX) $(NAME)
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	40	$(FIXBOOKMARKS) $(NAME).out
021728c71030 pdf setup; wenzelm parents: 6595 diff changeset	41	$(PDFLATEX) $(NAME)

author	blanchet
	Sun, 01 May 2011 22:36:58 +0200
changeset 42593	f9d7f1331a00
parent 42518	57367832b81a
child 42619	9691759a9b3c
permissions	-rw-r--r--