diff options
author | michelou <michelou@epfl.ch> | 2003-11-05 16:33:41 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-11-05 16:33:41 +0000 |
commit | c811babc88c016a6fe407d50abc3ead8c3d6c330 (patch) | |
tree | 7435417774c8fd51d3046325c9262b5efcf4f83b /Makefile.config | |
parent | 70245d69240b1de543dc644ea2fd29008eb74112 (diff) | |
download | scala-c811babc88c016a6fe407d50abc3ead8c3d6c330.tar.gz scala-c811babc88c016a6fe407d50abc3ead8c3d6c330.tar.bz2 scala-c811babc88c016a6fe407d50abc3ead8c3d6c330.zip |
- added website specific configuration variables
Diffstat (limited to 'Makefile.config')
-rw-r--r-- | Makefile.config | 9 |
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 |