From a884cbd15f51e5702c24bedef37fb21c66dd3fbf Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Fri, 31 Oct 2003 18:54:59 +0000
Subject: - added xsltproc tool

---
 Makefile.config | 7 +++++++
 1 file changed, 7 insertions(+)

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
@@ -87,6 +88,12 @@ make			?= $(MAKE) MAKELEVEL=$(MAKELEVEL) --no-print-directory
 PICO			?= pico
 PICO_FLAGS		?= -make -source 1.4
 
+##############################################################################
+# XSLT processor
+
+XSLTPROC		?= xsltproc
+XSLTPROC_FLAGS		?= 
+
 ##############################################################################
 # Makefile functions
 
-- 
cgit v1.2.3