diff options
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 |