isabelle: doc-src/Ref/Makefile@86035c5f61b5 (annotated)

6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	1
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	2	## targets
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	3
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	4	default: dvi
604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	5
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	6
6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	7	## dependencies
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	8
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	9	include ../Makefile.in
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	10
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	11	NAME = ref
30184 37969710e61f removed parts of the manual that are clearly obsolete, or covered by wenzelm parents: 9695 diff changeset	12	FILES = ref.tex introduction.tex tactic.tex tctical.tex thm.tex \
37969710e61f removed parts of the manual that are clearly obsolete, or covered by wenzelm parents: 9695 diff changeset	13	theories.tex defining.tex syntax.tex substitution.tex \
37969710e61f removed parts of the manual that are clearly obsolete, or covered by wenzelm parents: 9695 diff changeset	14	simplifier.tex classical.tex ../proof.sty ../iman.sty \
37969710e61f removed parts of the manual that are clearly obsolete, or covered by wenzelm parents: 9695 diff changeset	15	../extra.sty ../ttbox.sty ../manual.bib
604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	16
6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	17	dvi: $(NAME).dvi
2657 448bb82c4003 rail output; wenzelm parents: 1111 diff changeset	18
6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	19	$(NAME).dvi: $(FILES) isabelle.eps
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	20	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	21	$(BIBTEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	22	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	23	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	24	$(SEDINDEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	25	$(LATEX) $(NAME)
6618 13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	26
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	27	pdf: $(NAME).pdf
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	28
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	29	$(NAME).pdf: $(FILES) isabelle.pdf
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	30	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	31	$(BIBTEX) $(NAME)
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	32	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	33	$(PDFLATEX) $(NAME)
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	34	$(SEDINDEX) $(NAME)
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	35	$(FIXBOOKMARKS) $(NAME).out
13293a7d4a57 pdf setup; wenzelm parents: 6600 diff changeset	36	$(PDFLATEX) $(NAME)

author	nipkow
	Mon, 07 Sep 2009 22:08:05 +0200
changeset 32538	86035c5f61b5
parent 30184	37969710e61f
child 42934	287182c2f23a
permissions	-rw-r--r--