diff options
author | michelou <michelou@epfl.ch> | 2005-04-13 08:42:00 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-04-13 08:42:00 +0000 |
commit | eff6111eea4462987ebfe25b70f7a4bceaa0bad1 (patch) | |
tree | 15b2e6be02d3990017ffc7ed43dbc940dd64acb4 /Makefile.distrib | |
parent | c009286f507a3fae518bcc0773d656870ceacf41 (diff) | |
download | scala-eff6111eea4462987ebfe25b70f7a4bceaa0bad1.tar.gz scala-eff6111eea4462987ebfe25b70f7a4bceaa0bad1.tar.bz2 scala-eff6111eea4462987ebfe25b70f7a4bceaa0bad1.zip |
- added support files for the Console plugin (j...
- added support files for the Console plugin (jEdit).
Diffstat (limited to 'Makefile.distrib')
-rw-r--r-- | Makefile.distrib | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 12611d7cc5..055caacb18 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -27,8 +27,13 @@ GEDIT_FILES = $(GEDIT_LIST:%=$(GEDIT_ROOT)/%) # jedit scala-mode JEDIT_ROOT = $(PROJECT_SUPPORTDIR)/jedit -JEDIT_LIST += scala.xml -JEDIT_LIST += README +JEDIT_LIST += modes/scala.xml +JEDIT_LIST += modes/README +JEDIT_LIST += console/commando/scala.xml +JEDIT_LIST += console/commando/scalac.xml +JEDIT_LIST += console/commando/scalaint.xml +JEDIT_LIST += console/commando/scalarun.xml +JEDIT_LIST += console/README JEDIT_FILES = $(JEDIT_LIST:%=$(JEDIT_ROOT)/%) # scite scala-mode |