diff options
| author | michelou <michelou@epfl.ch> | 2004-01-09 18:34:29 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2004-01-09 18:34:29 +0000 |
| commit | 7ba607db86e36a6641fcb3e4af1081bf6f160620 (patch) | |
| tree | 9738597e613dd126787c89a415842c972464e3ac /support | |
| parent | e3981e4bbf0a1949ab4e09e37aa02edfc56869e2 (diff) | |
| download | scala-7ba607db86e36a6641fcb3e4af1081bf6f160620.tar.gz scala-7ba607db86e36a6641fcb3e4af1081bf6f160620.tar.bz2 scala-7ba607db86e36a6641fcb3e4af1081bf6f160620.zip | |
- added tags <website>, <version> and <webinsta...
- added tags <website>, <version> and <webinstaller>.
Diffstat (limited to 'support')
| -rw-r--r-- | support/scripts/website-build.sh | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/support/scripts/website-build.sh b/support/scripts/website-build.sh index 07545dc81b..72dc1c26cb 100644 --- a/support/scripts/website-build.sh +++ b/support/scripts/website-build.sh @@ -144,14 +144,14 @@ function website-build-installers-add-installers() { fi; local -a add=($program-add-installer "$installerdir"); - "${add[@]}" "Java/install.jar" "other" "Java Installer"; - "${add[@]}" "GenericUnix/install.bin" "unix" "GenericUnix Installer"; - "${add[@]}" "AIX/NoVM/install.bin" "aix" "AIX Installer"; + "${add[@]}" "Windows/NoVM/install.exe" "win" "Windows Installer"; + "${add[@]}" "MacOSX/install.zip" "macosx" "MacOSX Installer"; "${add[@]}" "Linux/NoVM/install.bin" "linux" "Linux Installer"; "${add[@]}" "Solaris/NoVM/install.bin" "solaris" "Solaris Installer"; + "${add[@]}" "AIX/NoVM/install.bin" "aix" "AIX Installer"; "${add[@]}" "HPUX/NoVM/install.bin" "hp" "HPUX Installer"; - "${add[@]}" "Windows/NoVM/install.exe" "win" "Windows Installer"; - "${add[@]}" "MacOSX/install.zip" "macosx" "MacOSX Installer"; + "${add[@]}" "GenericUnix/install.bin" "unix" "GenericUnix Installer"; + "${add[@]}" "Java/install.jar" "other" "Java Installer"; } function website-build-installers-add-archive() { @@ -201,11 +201,15 @@ function website-build-installers() { start=$[${start%%:*} + 3]; end=$[${end%%:*} - 2]; - echo "" - echo "<params>" + echo ""; + echo "<webinstaller>"; + echo ""; + echo "<params>"; head -$end "$installhtm" | tail -$[$end - $start] \ | sed '-es/[ ]*//' '-es!>$!/>!' '-e/^$/d'; - echo "</params>" + echo "</params>"; + echo ""; + echo "</webinstaller>"; } ############################################################################## @@ -240,9 +244,15 @@ function website-build() { abort "could not find directory '$archivedir'"; fi; + echo "<website>"; + echo ""; + echo "<version>$current</version>"; + echo ""; $program-distributions "$archivedir"; echo ""; $program-installers "$archivedir/scala-$current"; + echo ""; + echo "</website>"; } ############################################################################## |