isabelle: doc-src/Locales/Makefile@090c6a98c704 (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
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	11	TEXPATH = Locales/generated/:
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
16168 adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	19	FILES = Locales/generated/root.tex Locales/generated/root.bib \
14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	20	Locales/generated/session.tex Locales/generated/Locales.tex \
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	21	Locales/generated/isabelle.sty Locales/generated/isabellesym.sty \
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	22	Locales/generated/pdfsetup.sty
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	kleing
	Tue, 21 Jun 2005 11:08:31 +0200
changeset 16514	090c6a98c704
parent 16168	adb83939177f
child 17135	58f044289dca
permissions	-rw-r--r--