summaryrefslogtreecommitdiff
path: root/Makefile.distrib
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-02-21 12:11:24 +0000
committermichelou <michelou@epfl.ch>2005-02-21 12:11:24 +0000
commita7dfe53e15dda7f296ce43ec19e3557406ccabf2 (patch)
treecf8aee0862d1a891da5870a9b3c79d8133d965e8 /Makefile.distrib
parentff2538e6495397b8dd6361f6b95d271abfe8aeb5 (diff)
downloadscala-a7dfe53e15dda7f296ce43ec19e3557406ccabf2.tar.gz
scala-a7dfe53e15dda7f296ce43ec19e3557406ccabf2.tar.bz2
scala-a7dfe53e15dda7f296ce43ec19e3557406ccabf2.zip
- added file README for jEdit support.
Diffstat (limited to 'Makefile.distrib')
-rw-r--r--Makefile.distrib1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib
index 86963ead08..d3f131cf80 100644
--- a/Makefile.distrib
+++ b/Makefile.distrib
@@ -28,6 +28,7 @@ GEDIT_FILES = $(GEDIT_LIST:%=$(GEDIT_ROOT)/%)
# jedit scala-mode
JEDIT_ROOT = $(PROJECT_SUPPORTDIR)/jedit
JEDIT_LIST += scala.xml
+JEDIT_LIST += README
JEDIT_FILES = $(JEDIT_LIST:%=$(JEDIT_ROOT)/%)
# ultraedit scala-mode