Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Locales/Makefile
changeset 16168 adb83939177f
parent 14586 7b8d56b4ac60
child 17135 58f044289dca 
--- a/doc-src/Locales/Makefile	Wed Jun 01 10:52:17 2005 +0200
+++ b/doc-src/Locales/Makefile	Wed Jun 01 12:30:49 2005 +0200
@@ -16,7 +16,7 @@
 
 NAME = locales
 
-FILES = locales.tex Locales/generated/root.bib \
+FILES = Locales/generated/root.tex Locales/generated/root.bib \
   Locales/generated/session.tex Locales/generated/Locales.tex \
   Locales/generated/isabelle.sty Locales/generated/isabellesym.sty \
   Locales/generated/pdfsetup.sty 
@@ -24,17 +24,19 @@
 dvi: $(NAME).dvi
 
 $(NAME).dvi: $(FILES)
-	env TEXINPUTS=$(TEXPATH) $(LATEX) $(NAME)
-	env BIBINPUTS=$(TEXPATH) $(BIBTEX) $(NAME)
-	env TEXINPUTS=$(TEXPATH) $(LATEX) $(NAME)
-	env TEXINPUTS=$(TEXPATH) $(LATEX) $(NAME)
-	env TEXINPUTS=$(TEXPATH) $(LATEX) $(NAME)
+	env TEXINPUTS=$(TEXPATH) $(LATEX) root
+	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root
+	env TEXINPUTS=$(TEXPATH) $(LATEX) root
+	env TEXINPUTS=$(TEXPATH) $(LATEX) root
+	env TEXINPUTS=$(TEXPATH) $(LATEX) root
+	mv root.dvi $(NAME).dvi
 
 pdf: $(NAME).pdf
 
 $(NAME).pdf: $(FILES)
-	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) $(NAME)
-	env BIBINPUTS=$(TEXPATH) $(BIBTEX) $(NAME)
-	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) $(NAME)
-	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) $(NAME)
-	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) $(NAME)
+	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
+	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root
+	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
+	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
+	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root
+	mv root.pdf $(NAME).pdf
isabelle