isabelle: doc-src/IsarRef/Makefile@35809287ab23 (annotated)

7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	1	#
9f755ff43cff skeleton only; wenzelm parents: diff changeset	2	# $Id$
9f755ff43cff skeleton only; wenzelm parents: diff changeset	3	#
9f755ff43cff skeleton only; wenzelm parents: diff changeset	4
9f755ff43cff skeleton only; wenzelm parents: diff changeset	5	## targets
9f755ff43cff skeleton only; wenzelm parents: diff changeset	6
9f755ff43cff skeleton only; wenzelm parents: diff changeset	7	default: dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	8
9f755ff43cff skeleton only; wenzelm parents: diff changeset	9
9f755ff43cff skeleton only; wenzelm parents: diff changeset	10	## dependencies
9f755ff43cff skeleton only; wenzelm parents: diff changeset	11
9f755ff43cff skeleton only; wenzelm parents: diff changeset	12	include ../Makefile.in
9f755ff43cff skeleton only; wenzelm parents: diff changeset	13
9f755ff43cff skeleton only; wenzelm parents: diff changeset	14	NAME = isar-ref
9f755ff43cff skeleton only; wenzelm parents: diff changeset	15
26767 cc127cc0951b converted pure.tex to Thy/pure.thy; wenzelm parents: 26754 diff changeset	16	FILES = isar-ref.tex Thy/document/intro.tex basics.tex Thy/document/syntax.tex \
26779 35809287ab23 converted refcard.tex to Thy/Quick_Reference.thy; wenzelm parents: 26767 diff changeset	17	Thy/document/pure.tex generic.tex logics.tex Thy/document/Quick_Reference.tex \
35809287ab23 converted refcard.tex to Thy/Quick_Reference.thy; wenzelm parents: 26767 diff changeset	18	conversion.tex \
12617 ab63d9842332 added zf.tex; wenzelm parents: 9695 diff changeset	19	../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
ab63d9842332 added zf.tex; wenzelm parents: 9695 diff changeset	20	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	21
9f755ff43cff skeleton only; wenzelm parents: diff changeset	22	dvi: $(NAME).dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	23
9f755ff43cff skeleton only; wenzelm parents: diff changeset	24	$(NAME).dvi: $(FILES) isabelle_isar.eps
9f755ff43cff skeleton only; wenzelm parents: diff changeset	25	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	26	$(RAIL) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	27	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	28	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	29	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	30	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	31	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	32
9f755ff43cff skeleton only; wenzelm parents: diff changeset	33	pdf: $(NAME).pdf
9f755ff43cff skeleton only; wenzelm parents: diff changeset	34
9f755ff43cff skeleton only; wenzelm parents: diff changeset	35	$(NAME).pdf: $(FILES) isabelle_isar.pdf
9f755ff43cff skeleton only; wenzelm parents: diff changeset	36	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	37	$(RAIL) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	38	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	39	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	40	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	41	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	42	$(FIXBOOKMARKS) $(NAME).out
9f755ff43cff skeleton only; wenzelm parents: diff changeset	43	$(PDFLATEX) $(NAME)

author	wenzelm
	Sat, 03 May 2008 13:26:08 +0200
changeset 26779	35809287ab23
parent 26767	cc127cc0951b
child 26782	19363c70b5c4
permissions	-rw-r--r--