diff options
author | michelou <michelou@epfl.ch> | 2003-10-31 18:54:59 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-10-31 18:54:59 +0000 |
commit | a884cbd15f51e5702c24bedef37fb21c66dd3fbf (patch) | |
tree | 3b808702a117a443f082e000e90f475dfa33539b | |
parent | 1115a0305cb27bb3697a561f056896ff1d9f53d6 (diff) | |
download | scala-a884cbd15f51e5702c24bedef37fb21c66dd3fbf.tar.gz scala-a884cbd15f51e5702c24bedef37fb21c66dd3fbf.tar.bz2 scala-a884cbd15f51e5702c24bedef37fb21c66dd3fbf.zip |
- added xsltproc tool
-rw-r--r-- | Makefile.config | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 0fa18a6466..dd05b54abf 100644 --- a/Makefile.config +++ b/Makefile.config @@ -69,6 +69,7 @@ RM ?= rm -f SCSH ?= scsh SED ?= sed SORT ?= sort +STAT ?= stat TAIL ?= tail TAR ?= tar TOUCH ?= touch @@ -88,6 +89,12 @@ PICO ?= pico PICO_FLAGS ?= -make -source 1.4 ############################################################################## +# XSLT processor + +XSLTPROC ?= xsltproc +XSLTPROC_FLAGS ?= + +############################################################################## # Makefile functions RUN ?= $(ECHO) '$(1)'; $(1) || exit $$? |