diff options
author | paltherr <paltherr@epfl.ch> | 2004-01-16 10:32:08 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-01-16 10:32:08 +0000 |
commit | e22c2ff60aadf30f5476546f662acf4e71c43a1e (patch) | |
tree | f85645748c168de0123dec037f06b9469a6ab3c9 /support/scripts | |
parent | b62bc679112c2a11cddfeda4e4d386f32fa9185f (diff) | |
download | scala-e22c2ff60aadf30f5476546f662acf4e71c43a1e.tar.gz scala-e22c2ff60aadf30f5476546f662acf4e71c43a1e.tar.bz2 scala-e22c2ff60aadf30f5476546f662acf4e71c43a1e.zip |
- Added platform to archives in installers section
Diffstat (limited to 'support/scripts')
-rw-r--r-- | support/scripts/website.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index 877f0cff9f..4e14ff9d2c 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -155,13 +155,14 @@ function website-print-xml-installers-add-installers() { } function website-print-xml-installers-add-archive() { - [ $# = 3 ] || abort "internal error"; + [ $# = 4 ] || abort "internal error"; local archive="$1"."$2"; shift 1; local suffix="$1"; shift 1; + local platform="$1"; shift 1; local description="$1"; shift 1; local path="./distrib/files/"`basename $archive`; - $program-add-entry "$archive" "" "$description" "$path" "$suffix"; + $program-add-entry "$archive" "$platform" "$description" "$path" "$suffix"; } function website-print-xml-installers-add-archives() { @@ -169,9 +170,9 @@ function website-print-xml-installers-add-archives() { local basepath="$1"; shift 1; local -a add=($program-add-archive "$basepath"); - "${add[@]}" "tar.gz" "Gzip Unix tarball (Unix/Cygwin)"; - "${add[@]}" "tar.bz2" "Bz2 Unix tarball (Unix/Cygwin)"; - "${add[@]}" "zip" "Zip Archive (Windows)"; + "${add[@]}" "tar.gz" "tgz" "Gzip Unix tarball (Unix/Cygwin)"; + "${add[@]}" "tar.bz2" "bz2" "Bz2 Unix tarball (Unix/Cygwin)"; + "${add[@]}" "zip" "zip" "Zip Archive (Windows)"; } function website-print-xml-installers() { |