isabelle: doc-src/Codegen/Makefile@6f9e24376ffd (annotated)

20948 9b9910b82645 initial draft haftmann parents: diff changeset	1
9b9910b82645 initial draft haftmann parents: diff changeset	2	## targets
9b9910b82645 initial draft haftmann parents: diff changeset	3
9b9910b82645 initial draft haftmann parents: diff changeset	4	default: dvi
9b9910b82645 initial draft haftmann parents: diff changeset	5
9b9910b82645 initial draft haftmann parents: diff changeset	6
9b9910b82645 initial draft haftmann parents: diff changeset	7	## dependencies
9b9910b82645 initial draft haftmann parents: diff changeset	8
20989 c04bbfe71cef added makefile layer haftmann parents: 20948 diff changeset	9	include ../Makefile.in
20948 9b9910b82645 initial draft haftmann parents: diff changeset	10
9b9910b82645 initial draft haftmann parents: diff changeset	11	NAME = codegen
9b9910b82645 initial draft haftmann parents: diff changeset	12
28213 b52f9205a02d New outline for codegen tutorial -- draft haftmann parents: 26911 diff changeset	13	FILES = $(NAME).tex Thy/document/*.tex \
30226 2f4684e2ea95 more canonical directory structure of manuals haftmann parents: 28213 diff changeset	14	style.sty ../iman.sty ../extra.sty ../isar.sty \
42511 bf89455ccf9d eliminated copies of isabelle style files; wenzelm parents: 31050 diff changeset	15	../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \
30226 2f4684e2ea95 more canonical directory structure of manuals haftmann parents: 28213 diff changeset	16	../manual.bib ../proof.sty
20948 9b9910b82645 initial draft haftmann parents: diff changeset	17
9b9910b82645 initial draft haftmann parents: diff changeset	18	dvi: $(NAME).dvi
9b9910b82645 initial draft haftmann parents: diff changeset	19
31050 555b56b66fcf adaptation replaces adaption haftmann parents: 30882 diff changeset	20	$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
20948 9b9910b82645 initial draft haftmann parents: diff changeset	21	$(LATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	22	$(BIBTEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	23	$(LATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	24	$(LATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	25
9b9910b82645 initial draft haftmann parents: diff changeset	26	pdf: $(NAME).pdf
9b9910b82645 initial draft haftmann parents: diff changeset	27
31050 555b56b66fcf adaptation replaces adaption haftmann parents: 30882 diff changeset	28	$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
20948 9b9910b82645 initial draft haftmann parents: diff changeset	29	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	30	$(BIBTEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	31	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	32	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	33	$(FIXBOOKMARKS) $(NAME).out
9b9910b82645 initial draft haftmann parents: diff changeset	34	$(PDFLATEX) $(NAME)
9b9910b82645 initial draft haftmann parents: diff changeset	35	$(PDFLATEX) $(NAME)
30734 ab05be086c4a step towards proper pictures in dvi haftmann parents: 30226 diff changeset	36
30882 d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	37	architecture.dvi: Thy/pictures/architecture.tex
d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	38	latex -output-directory=$(dir $@) $<
d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	39
31050 555b56b66fcf adaptation replaces adaption haftmann parents: 30882 diff changeset	40	adaptation.dvi: Thy/pictures/adaptation.tex
30734 ab05be086c4a step towards proper pictures in dvi haftmann parents: 30226 diff changeset	41	latex -output-directory=$(dir $@) $<
ab05be086c4a step towards proper pictures in dvi haftmann parents: 30226 diff changeset	42
30882 d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	43	architecture.eps: architecture.dvi
d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	44	dvips -E -o $@ $<
d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	45
31050 555b56b66fcf adaptation replaces adaption haftmann parents: 30882 diff changeset	46	adaptation.eps: adaptation.dvi
30734 ab05be086c4a step towards proper pictures in dvi haftmann parents: 30226 diff changeset	47	dvips -E -o $@ $<
ab05be086c4a step towards proper pictures in dvi haftmann parents: 30226 diff changeset	48
30882 d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	49	architecture.pdf: architecture.eps
30734 ab05be086c4a step towards proper pictures in dvi haftmann parents: 30226 diff changeset	50	epstopdf --outfile=$@ $<
30882 d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	51
31050 555b56b66fcf adaptation replaces adaption haftmann parents: 30882 diff changeset	52	adaptation.pdf: adaptation.eps
30882 d15725e84091 moved generated eps/pdf to main directory, for proper display in dvi; wenzelm parents: 30734 diff changeset	53	epstopdf --outfile=$@ $<

author	wenzelm
	Sat, 12 Nov 2011 20:14:09 +0100
changeset 45476	6f9e24376ffd
parent 42511	bf89455ccf9d
permissions	-rw-r--r--