diff options
author | paltherr <paltherr@epfl.ch> | 2003-11-03 18:24:19 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-11-03 18:24:19 +0000 |
commit | 35bbfac32ecfc54a5c7e7f6344565186357e1541 (patch) | |
tree | 67e350c212be63b210846efef5a8b0d7b9555cc3 | |
parent | b587800cb7445c631042d7633563c96885bf6286 (diff) | |
download | scala-35bbfac32ecfc54a5c7e7f6344565186357e1541.tar.gz scala-35bbfac32ecfc54a5c7e7f6344565186357e1541.tar.bz2 scala-35bbfac32ecfc54a5c7e7f6344565186357e1541.zip |
- Added distrbi-build-website
-rw-r--r-- | Makefile.distrib | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 56b84eee8c..2265a819e4 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -221,6 +221,7 @@ distrib : distrib-build-all distrib-build-all : distrib-build-unix distrib-build-all : distrib-build-windows distrib-build-all : distrib-build-ia +distrib-build-all : distrib-build-website distrib-build-unix : install $(RM) $(DISTRIB_ARCHIVE).tar @@ -246,6 +247,11 @@ distrib-build-windows : install-windows distrib-build-ia : ia-build +distrib-build-website : + $(make) -C $(PROJECT_WEBSITEDIR) all \ + INSTALL_VERSION=$(INSTALL_VERSION) \ + PROJECT_HTDOCSDIR=$(DISTRIB_ARCHIVE).website + distrib-official : version-update @$(make) distrib INSTALL_VERSION='$$(PROJECT_VERSION)' @$(make) version-increment @@ -255,6 +261,7 @@ distrib-official : version-update .PHONY : distrib-build-unix .PHONY : distrib-build-windows .PHONY : distrib-build-ia +.PHONY : distrib-build-website .PHONY : distrib-official ############################################################################## |