From bc7faf76c72d02af360f11453c22c316d5ffab66 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Tue, 5 Aug 2003 10:59:56 +0000
Subject: - Updated Makefile to use Makefile.config and s...

- Updated Makefile to use Makefile.config and scalatex.mk
---
 doc/tutorial/Makefile | 35 ++++++++++++++++++++++++-----------
 1 file changed, 24 insertions(+), 11 deletions(-)

(limited to 'doc/tutorial/Makefile')

diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile
index c10586042b..c75efb228b 100644
--- a/doc/tutorial/Makefile
+++ b/doc/tutorial/Makefile
@@ -1,21 +1,34 @@
-# Makefile to compile the Scala tutorial
+############################################################-*-Makefile-*-####
+# Scala Tutorial
+##############################################################################
 # $Id$
 
-LATEX_TARGETS = tutorial.ps tutorial.pdf
+##############################################################################
+# Configuration
 
 ROOT = ../..
 
-# Thing to add to the class path to run Scala programs.
-SCALA_CLASS_PATH = /home/linuxsoft/apps/scala/lib/scala.jar
+include $(ROOT)/Makefile.config
 
-# Commands
-ENV = env
-LATEXMK = latexmk
-SCALATEX = /home/schinz/projects/scsh-scripts/scalatex/scalatex.scm
+##############################################################################
+# Variables
 
-all: $(LATEX_TARGETS)
+# project
+PROJECT_SOURCES		+= $(LATEX_SOURCES)
 
-%.tex: %.scalatex
-	$(ENV) CLASSPATH=$(SCALA_CLASS_PATH):$(CLASSPATH) $(SCALATEX) $< $@
+# latex
+LATEX_FORMATS		+= dvi
+LATEX_FORMATS		+= ps
+LATEX_FORMATS		+= pdf
 
+LATEX_TARGETS		+= $(LATEX_FORMATS:%=tutorial.%)
+
+LATEX_SOURCES		+= tutorial.tex
+
+##############################################################################
+# Includes
+
+include $(ROOT)/support/make/scalatex.mk
 include $(ROOT)/support/make/latex.mk
+
+##############################################################################
-- 
cgit v1.2.3