diff options
| author | michelou <michelou@epfl.ch> | 2005-02-11 12:47:24 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-02-11 12:47:24 +0000 |
| commit | e3e53e2bda73c95256e04e2e41eb3fae2b122b1f (patch) | |
| tree | b212c5ffbe1e8f16094259a68a0f790d3f32a1b9 | |
| parent | 863714d6cc617ed65e5f08a6c82ef85b05b21ea5 (diff) | |
| download | scala-e3e53e2bda73c95256e04e2e41eb3fae2b122b1f.tar.gz scala-e3e53e2bda73c95256e04e2e41eb3fae2b122b1f.tar.bz2 scala-e3e53e2bda73c95256e04e2e41eb3fae2b122b1f.zip | |
- added support for the gedit text editor.
| -rw-r--r-- | Makefile.distrib | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 0744165ba0..86963ead08 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -19,6 +19,12 @@ EMACS_ROOT = $(PROJECT_SUPPORTDIR)/emacs EMACS_LIST += $(call READLIST,$(PROJECT_LISTDIR)/emacs.lst) EMACS_FILES = $(EMACS_LIST:%=$(EMACS_ROOT)/%) +# gedit scala-mode +GEDIT_ROOT = $(PROJECT_SUPPORTDIR)/gedit +GEDIT_LIST += scala.lang +GEDIT_LIST += README +GEDIT_FILES = $(GEDIT_LIST:%=$(GEDIT_ROOT)/%) + # jedit scala-mode JEDIT_ROOT = $(PROJECT_SUPPORTDIR)/jedit JEDIT_LIST += scala.xml @@ -113,6 +119,9 @@ install : $(TOOLS_JAR_ARCHIVE) $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/emacs $(strip $(MIRROR) -m 644 -p -C $(EMACS_ROOT) $(EMACS_LIST) \ $(INSTALL_SUPPORTDIR)/emacs) + $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/gedit + $(strip $(MIRROR) -m 644 -p -C $(GEDIT_ROOT) $(GEDIT_LIST) \ + $(INSTALL_SUPPORTDIR)/gedit) $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/jedit $(strip $(MIRROR) -m 644 -p -C $(JEDIT_ROOT) $(JEDIT_LIST) \ $(INSTALL_SUPPORTDIR)/jedit) |