diff options
| author | schinz <schinz@epfl.ch> | 2003-07-29 11:44:38 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2003-07-29 11:44:38 +0000 |
| commit | 3016ae3a598a964690e12ccd2b1de2e8f7cd7a63 (patch) | |
| tree | 846938a2ee8cd11ac1090d69e14e69af6b7e15dd /doc/tutorial/Makefile | |
| parent | 9b9660252eb0a4a992dd4f3c461405ec43822d24 (diff) | |
| download | scala-3016ae3a598a964690e12ccd2b1de2e8f7cd7a63.tar.gz scala-3016ae3a598a964690e12ccd2b1de2e8f7cd7a63.tar.bz2 scala-3016ae3a598a964690e12ccd2b1de2e8f7cd7a63.zip | |
*** empty log message ***
Diffstat (limited to 'doc/tutorial/Makefile')
| -rw-r--r-- | doc/tutorial/Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile new file mode 100644 index 0000000000..c10586042b --- /dev/null +++ b/doc/tutorial/Makefile @@ -0,0 +1,21 @@ +# Makefile to compile the Scala tutorial +# $Id$ + +LATEX_TARGETS = tutorial.ps tutorial.pdf + +ROOT = ../.. + +# Thing to add to the class path to run Scala programs. +SCALA_CLASS_PATH = /home/linuxsoft/apps/scala/lib/scala.jar + +# Commands +ENV = env +LATEXMK = latexmk +SCALATEX = /home/schinz/projects/scsh-scripts/scalatex/scalatex.scm + +all: $(LATEX_TARGETS) + +%.tex: %.scalatex + $(ENV) CLASSPATH=$(SCALA_CLASS_PATH):$(CLASSPATH) $(SCALATEX) $< $@ + +include $(ROOT)/support/make/latex.mk |