diff options
| author | michelou <michelou@epfl.ch> | 2005-05-02 12:48:33 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-05-02 12:48:33 +0000 |
| commit | c808e1b5c10212ca4d6b93cabe5286e666860bf8 (patch) | |
| tree | 5200427785bf8bc41635bcf40708d5d9aa686738 /Makefile.distrib | |
| parent | de8fc1e7deadeb4720dd3103ce06398fc68e3c08 (diff) | |
| download | scala-c808e1b5c10212ca4d6b93cabe5286e666860bf8.tar.gz scala-c808e1b5c10212ca4d6b93cabe5286e666860bf8.tar.bz2 scala-c808e1b5c10212ca4d6b93cabe5286e666860bf8.zip | |
- added man page for scaladoc.
Diffstat (limited to 'Makefile.distrib')
| -rw-r--r-- | Makefile.distrib | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index fb287be253..37d80bfa41 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -58,6 +58,7 @@ ULTRAEDIT_FILES = $(ULTRAEDIT_LIST:%=$(ULTRAEDIT_ROOT)/%) MANPAGES_ROOT = $(PROJECT_SUPPORTDIR)/man MANPAGES_LIST += man1/scala.1 MANPAGES_LIST += man1/scalac.1 +MANPAGES_LIST += man1/scaladoc.1 MANPAGES_LIST += man1/scalaint.1 MANPAGES_LIST += man1/scalarun.1 MANPAGES_FILES = $(MANPAGES_LIST:%=$(MANPAGES_ROOT)/%) @@ -164,7 +165,7 @@ install : $(TOOLS_JAR_ARCHIVE) $(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) "{}" ";" + $(FIND) $(INSTALL_SUPPORTDIR)/man -type f -exec $(GZIP) -f "{}" ";" $(INSTALL) -m 755 -d $(INSTALL_TESTDIR) $(strip $(MIRROR) -m 644 -p -C $(TEST_ROOT) $(TEST_LIST) \ |