summaryrefslogtreecommitdiff
path: root/Makefile.config
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2003-11-05 16:33:41 +0000
committermichelou <michelou@epfl.ch>2003-11-05 16:33:41 +0000
commitc811babc88c016a6fe407d50abc3ead8c3d6c330 (patch)
tree7435417774c8fd51d3046325c9262b5efcf4f83b /Makefile.config
parent70245d69240b1de543dc644ea2fd29008eb74112 (diff)
downloadscala-c811babc88c016a6fe407d50abc3ead8c3d6c330.tar.gz
scala-c811babc88c016a6fe407d50abc3ead8c3d6c330.tar.bz2
scala-c811babc88c016a6fe407d50abc3ead8c3d6c330.zip
- added website specific configuration variables
Diffstat (limited to 'Makefile.config')
-rw-r--r--Makefile.config9
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config
index e74fd53e6a..d525f1c304 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -29,6 +29,15 @@ PROJECT_LISTDIR ?= $(PROJECT_CONFIGDIR)/list
PROJECT_APIDOCDIR ?= $(PROJECT_DOCUMENTDIR)/api
##############################################################################
+# Website setup
+
+WEBSITE_WWWROOT ?= /scala2
+
+WEBSITE_DATA_INSTALLS ?= $(WEBSITE_SOURCEDIR)/downloads/installers.xml
+WEBSITE_DATA_DISTRIBS ?= $(WEBSITE_SOURCEDIR)/downloads/distrib/distributions.xml
+WEBSITE_DATA_WEBINST ?= $(WEBSITE_SOURCEDIR)/downloads/webinst.xml
+
+##############################################################################
# External libraries
# FJBG