diff options
| author | paltherr <paltherr@epfl.ch> | 2003-03-12 09:34:53 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-03-12 09:34:53 +0000 |
| commit | 86beea21be94408044884415bbafcad5e0574c66 (patch) | |
| tree | c667f1479db1772f1ca36cd64208851eb4650685 | |
| parent | 453461f798b106d4860cc51d76de1578abf5fe1d (diff) | |
| download | scala-86beea21be94408044884415bbafcad5e0574c66.tar.gz scala-86beea21be94408044884415bbafcad5e0574c66.tar.bz2 scala-86beea21be94408044884415bbafcad5e0574c66.zip | |
- Added latex.mk
| -rw-r--r-- | support/make/latex.mk | 93 |
1 files changed, 93 insertions, 0 deletions
diff --git a/support/make/latex.mk b/support/make/latex.mk new file mode 100644 index 0000000000..311db5cd69 --- /dev/null +++ b/support/make/latex.mk @@ -0,0 +1,93 @@ +############################################################-*-Makefile-*-#### +# LATEX - Compile Latex Files +############################################################################## +# $Id$ + +############################################################################## +# Usage +# +# make latex[.div|.ps|.pdf|.clean|.distclean] +# make <*.[dvi|ps|pdf]> +# +############################################################################## +# Variables +# +# LATEX_TARGETS += list of documents to generate +# LATEX_SOURCES += list of documents required to generate targets +# +############################################################################## +# Examples +# +# Generate all latex-produced documents +# +# make latex +# +# +# Generate all latex-produced PostScript documents +# +# make latex +# +# +# Generate reference in pdf format +# +# make reference.pdf +# +############################################################################## + +############################################################################## +# Defaults + +TEXINPUTS ?= . +BIBINPUTS ?= . +LATEXMK ?= latexmk +TOUCH ?= touch + +############################################################################## +# Environment + +export TEXINPUTS +export BIBINPUTS + +############################################################################## +# Commands + +all : latex +clean : latex.clean +distclean : latex.distclean + +latex : $(LATEX_TARGETS) +latex.dvi : $(filter %.dvi,$(LATEX_TARGETS)) +latex.ps : $(filter %.ps ,$(LATEX_TARGETS)) +latex.pdf : $(filter %.pdf,$(LATEX_TARGETS)) + +latex.clean : + $(LATEXMK) -c + +latex.distclean : + $(LATEXMK) -C + +.PHONY : latex +.PHONY : latex.dvi +.PHONY : latex.ps +.PHONY : latex.pdf +.PHONY : latex.clean +.PHONY : latex.distclean + +############################################################################## +# Rules + + +%.dvi : %.tex $(LATEX_SOURCES) + $(LATEXMK) $< + +%.ps : %.tex $(LATEX_SOURCES) + $(LATEXMK) -ps $< + +%.pdf : %.tex $(LATEX_SOURCES) + $(LATEXMK) -pdf $< + +.PRECIOUS : %.dvi +.PRECIOUS : %.ps +.PRECIOUS : %.pdf + +############################################################################## |