diff options
author | michelou <michelou@epfl.ch> | 2005-04-29 17:36:12 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-04-29 17:36:12 +0000 |
commit | 204ec80b8f0dc496c22ee0d3f35542d51731acf3 (patch) | |
tree | da37faffad053043ba0e2a41467f5f6424ded273 /Makefile.distrib | |
parent | 09dde3d0fb1b3781ad741776a44d6ad26228f23f (diff) | |
download | scala-204ec80b8f0dc496c22ee0d3f35542d51731acf3.tar.gz scala-204ec80b8f0dc496c22ee0d3f35542d51731acf3.tar.bz2 scala-204ec80b8f0dc496c22ee0d3f35542d51731acf3.zip |
- added man pages for the Scala commands.
Diffstat (limited to 'Makefile.distrib')
-rw-r--r-- | Makefile.distrib | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 9ce9b41ab8..fb287be253 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -54,6 +54,14 @@ ULTRAEDIT_LIST += scala.txt ULTRAEDIT_LIST += README ULTRAEDIT_FILES = $(ULTRAEDIT_LIST:%=$(ULTRAEDIT_ROOT)/%) +# scala man pages +MANPAGES_ROOT = $(PROJECT_SUPPORTDIR)/man +MANPAGES_LIST += man1/scala.1 +MANPAGES_LIST += man1/scalac.1 +MANPAGES_LIST += man1/scalaint.1 +MANPAGES_LIST += man1/scalarun.1 +MANPAGES_FILES = $(MANPAGES_LIST:%=$(MANPAGES_ROOT)/%) + # scala test TEST_ROOT = $(PROJECT_TESTDIR) TEST_LIST += $(call READLIST,$(PROJECT_LISTDIR)/test.lst) @@ -153,6 +161,11 @@ install : $(TOOLS_JAR_ARCHIVE) $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/ultraedit $(strip $(MIRROR) -m 644 -p -C $(ULTRAEDIT_ROOT) $(ULTRAEDIT_LIST) \ $(INSTALL_SUPPORTDIR)/ultraedit) + $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/man + $(strip $(MIRROR) -m 644 -p -C $(MANPAGES_ROOT) $(MANPAGES_LIST) \ + $(INSTALL_SUPPORTDIR)/man) + $(FIND) $(INSTALL_SUPPORTDIR)/man -type f -exec $(GZIP) "{}" ";" + $(INSTALL) -m 755 -d $(INSTALL_TESTDIR) $(strip $(MIRROR) -m 644 -p -C $(TEST_ROOT) $(TEST_LIST) \ $(INSTALL_TESTDIR)) |