Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/Locales/Makefile
author wenzelm
Thu, 15 May 2008 21:08:25 +0200
changeset 26916 3331d559feaf
parent 17135 58f044289dca
child 27063 d1d35284542f
permissions -rw-r--r--
use Isabelle sty files from Doc/; 
     1 #

     2 # $Id$

     3 #

     4 

     5 ## targets

     6 

     7 default: dvi

     8 

     9 ## paths

    10 

    11 TEXPATH = Locales/document/:

    12 

    13 ## dependencies

    14 

    15 include ../Makefile.in

    16 

    17 NAME = locales

    18 

    19 FILES = Locales/document/root.tex Locales/document/root.bib \

    20   Locales/document/session.tex Locales/document/Locales.tex \

    21   ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty 

    22 

    23 dvi: $(NAME).dvi

    24 

    25 $(NAME).dvi: $(FILES)

    26 	env TEXINPUTS=$(TEXPATH) $(LATEX) root

    27 	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root

    28 	env TEXINPUTS=$(TEXPATH) $(LATEX) root

    29 	env TEXINPUTS=$(TEXPATH) $(LATEX) root

    30 	env TEXINPUTS=$(TEXPATH) $(LATEX) root

    31 	mv root.dvi $(NAME).dvi

    32 

    33 pdf: $(NAME).pdf

    34 

    35 $(NAME).pdf: $(FILES)

    36 	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root

    37 	env BIBINPUTS=$(TEXPATH) $(BIBTEX) root

    38 	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root

    39 	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root

    40 	env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root

    41 	mv root.pdf $(NAME).pdf
wneuper/isa