isabelle: doc-src/Locales/Makefile@dbc19b772f5b (annotated)

14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	1	#
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	2	# $Id$
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	3	#
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	4
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	5	## targets
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	6
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	7	default: dvi
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	8
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	9	## paths
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	10
17135 58f044289dca tuned arrangement of generated stuff; wenzelm parents: 16168 diff changeset	11	TEXPATH = Locales/document/:
14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	12
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	13	## dependencies
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	14
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	15	include ../Makefile.in
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	16
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	17	NAME = locales
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	18
17135 58f044289dca tuned arrangement of generated stuff; wenzelm parents: 16168 diff changeset	19	FILES = Locales/document/root.tex Locales/document/root.bib \
58f044289dca tuned arrangement of generated stuff; wenzelm parents: 16168 diff changeset	20	Locales/document/session.tex Locales/document/Locales.tex \
58f044289dca tuned arrangement of generated stuff; wenzelm parents: 16168 diff changeset	21	Locales/document/isabelle.sty Locales/document/isabellesym.sty \
58f044289dca tuned arrangement of generated stuff; wenzelm parents: 16168 diff changeset	22	Locales/document/pdfsetup.sty
14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	23
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	24	dvi: $(NAME).dvi
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	25
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	26	$(NAME).dvi: $(FILES)
16168 adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	27	env TEXINPUTS=$(TEXPATH) $(LATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	28	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	29	env TEXINPUTS=$(TEXPATH) $(LATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	30	env TEXINPUTS=$(TEXPATH) $(LATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	31	env TEXINPUTS=$(TEXPATH) $(LATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	32	mv root.dvi $(NAME).dvi
14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	33
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	34	pdf: $(NAME).pdf
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	35
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	36	$(NAME).pdf: $(FILES)
16168 adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	37	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	38	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	39	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	40	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	41	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	42	mv root.pdf $(NAME).pdf

author	wenzelm
	Sat, 04 Mar 2006 21:39:08 +0100
changeset 19189	dbc19b772f5b
parent 17135	58f044289dca
child 26916	3331d559feaf
permissions	-rw-r--r--