summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2003-09-25 12:10:18 +0000
committermichelou <michelou@epfl.ch>2003-09-25 12:10:18 +0000
commit156cb20b177f3b93abb3a6a1d083660a93696e2b (patch)
tree9c58647866c11693df0e0c008b6ed714977515f5 /Makefile
parentd564a5473c6d901f85a2bc82c4589da5b800011b (diff)
downloadscala-156cb20b177f3b93abb3a6a1d083660a93696e2b.tar.gz
scala-156cb20b177f3b93abb3a6a1d083660a93696e2b.tar.bz2
scala-156cb20b177f3b93abb3a6a1d083660a93696e2b.zip
- added scaladoc resource 'script.js'
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index a4434bd211..da0bd1d22a 100644
--- a/Makefile
+++ b/Makefile
@@ -99,7 +99,7 @@ SCALADOC_ROOT = $(PROJECT_SOURCEDIR)/scaladoc
SCALADOC_LIST = $(call READLIST,$(PROJECT_LISTDIR)/scaladoc.lst)
SCALADOC_SOURCES += $(SCALADOC_LIST:%=$(SCALADOC_ROOT)/%)
SCALADOC_JC_FILES = $(SCALADOC_SOURCES)
-SCALADOC_RSRC_LIST = resources/style.css
+SCALADOC_RSRC_LIST = resources/style.css resources/script.js
SCALADOC_RSRC_FILES += $(SCALADOC_RSRC_LIST:%=$(SCALADOC_ROOT)/%)
SCALADOC_RSRC_OUTPUTDIR = $(PROJECT_OUTPUTDIR)/scaladoc
@@ -112,8 +112,8 @@ DTD2SCALA_JC_FILES = $(DTD2SCALA_SOURCES)
# scalap
SCALAP_ROOT = $(PROJECT_SOURCEDIR)/scalap
SCALAP_LIST = $(call READLIST,$(PROJECT_LISTDIR)/scalap.lst)
-SCALAP_SOURCES += $(SCALAP_LIST:%=$(SCALAP_ROOT)/%)
-SCALAP_SC_FILES = $(SCALAP_SOURCES)
+SCALAP_SOURCES += $(SCALAP_LIST:%=$(SCALAP_ROOT)/%)
+SCALAP_SC_FILES = $(SCALAP_SOURCES)
# tools archive
TOOLS_NAME = tools