diff options
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 |