isabelle: doc-src/Locales/Makefile@3331d559feaf (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 \
26916 3331d559feaf use Isabelle sty files from Doc/; wenzelm parents: 17135 diff changeset	21	../isabelle.sty ../isabellesym.sty ../pdfsetup.sty
14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	22
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	23	dvi: $(NAME).dvi
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	24
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	25	$(NAME).dvi: $(FILES)
16168 adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	26	env TEXINPUTS=$(TEXPATH) $(LATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	27	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	28	env TEXINPUTS=$(TEXPATH) $(LATEX) 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	mv root.dvi $(NAME).dvi
14586 7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	32
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	33	pdf: $(NAME).pdf
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	34
7b8d56b4ac60 Added Locales Tutorial. ballarin parents: diff changeset	35	$(NAME).pdf: $(FILES)
16168 adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	36	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	37	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root
adb83939177f Locales: new element constrains, parameter renaming with syntax, ballarin parents: 14586 diff changeset	38	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) 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	mv root.pdf $(NAME).pdf

author	wenzelm
	Thu, 15 May 2008 21:08:25 +0200
changeset 26916	3331d559feaf
parent 17135	58f044289dca
child 27063	d1d35284542f
permissions	-rw-r--r--