summaryrefslogtreecommitdiff
path: root/Makefile.config
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2004-04-08 15:45:32 +0000
committermichelou <michelou@epfl.ch>2004-04-08 15:45:32 +0000
commitd963cc312ea9bd7b774b7c96547918fc16d151f1 (patch)
tree3faba07f2cab6d4e77cbd5fd6f1ef210b51b1bc1 /Makefile.config
parent99ec3e8abcca88be3362e396d25f3bf2c22d6528 (diff)
downloadscala-d963cc312ea9bd7b774b7c96547918fc16d151f1.tar.gz
scala-d963cc312ea9bd7b774b7c96547918fc16d151f1.tar.bz2
scala-d963cc312ea9bd7b774b7c96547918fc16d151f1.zip
- added Convert tool (ImageMagick).
Diffstat (limited to 'Makefile.config')
-rw-r--r--Makefile.config6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config
index b4569abd68..15b4443881 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -108,6 +108,12 @@ PICO_FLAGS ?= -make -source 1.4
BOOTSTRAP_SCALAC ?= scalac
##############################################################################
+# Convert tool (ImageMagick)
+
+CONVERT ?= convert
+CONVERT_FLAGS ?=
+
+##############################################################################
# XSLT processor
XSLTPROC ?= xsltproc