isabelle: doc-src/HOL/Makefile@82b9feeab1ef (annotated)

6594 fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	1
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	2	## targets
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	3
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	4	default: dvi
6580 ff2c3ffd38ee used to be part of 'logics' manual; wenzelm parents: diff changeset	5
ff2c3ffd38ee used to be part of 'logics' manual; wenzelm parents: diff changeset	6
6594 fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	7	## dependencies
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	8
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	9	include ../Makefile.in
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	10
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	11	NAME = logics-HOL
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	12	FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
42628 50f257ea2aba removed obsolete rail diagrams (which were about old-style theory syntax); wenzelm parents: 42518 diff changeset	13	../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
42518 57367832b81a include static rail files for old manuals, to make standard make job independent of the "rail" executable; wenzelm parents: 9695 diff changeset	14
6594 fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	15	dvi: $(NAME).dvi
6580 ff2c3ffd38ee used to be part of 'logics' manual; wenzelm parents: diff changeset	16
6594 fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	17	$(NAME).dvi: $(FILES) isabelle_hol.eps
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	18	$(LATEX) $(NAME)
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	19	$(BIBTEX) $(NAME)
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	20	$(LATEX) $(NAME)
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	21	$(LATEX) $(NAME)
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	22	$(SEDINDEX) $(NAME)
fe2f5024f89e * empty log message * wenzelm parents: 6581 diff changeset	23	$(LATEX) $(NAME)
6620 fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	24
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	25	pdf: $(NAME).pdf
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	26
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	27	$(NAME).pdf: $(FILES) isabelle_hol.pdf
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	28	$(PDFLATEX) $(NAME)
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	29	$(BIBTEX) $(NAME)
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	30	$(PDFLATEX) $(NAME)
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	31	$(PDFLATEX) $(NAME)
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	32	$(SEDINDEX) $(NAME)
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	33	$(FIXBOOKMARKS) $(NAME).out
fc991461c7b9 pdf setup; wenzelm parents: 6594 diff changeset	34	$(PDFLATEX) $(NAME)

author	blanchet
	Mon, 23 Jul 2012 15:32:30 +0200
changeset 48437	82b9feeab1ef
parent 42628	50f257ea2aba
permissions	-rw-r--r--