diff options
author | paltherr <paltherr@epfl.ch> | 2004-06-11 14:33:30 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-06-11 14:33:30 +0000 |
commit | 87b12a10405fbb453e5f5838b70f35972c7822ed (patch) | |
tree | 9cb74afa4e12314d14b28d8939794a7abe0e8601 /support | |
parent | d03b5fd70e6514cd87e15de1fb49b63967857a8d (diff) | |
download | scala-87b12a10405fbb453e5f5838b70f35972c7822ed.tar.gz scala-87b12a10405fbb453e5f5838b70f35972c7822ed.tar.bz2 scala-87b12a10405fbb453e5f5838b70f35972c7822ed.zip |
- Added support to merge unix and windows ia bu...
- Added support to merge unix and windows ia builds
Diffstat (limited to 'support')
-rw-r--r-- | support/scripts/website.sh | 33 |
1 files changed, 20 insertions, 13 deletions
diff --git a/support/scripts/website.sh b/support/scripts/website.sh index 026dfce13d..27907cbf0a 100644 --- a/support/scripts/website.sh +++ b/support/scripts/website.sh @@ -176,6 +176,24 @@ function website-print-xml-installers-add-archives() { "${add[@]}" "zip" "zip" "Zip Archive (Windows)"; } +function website-print-xml-installers-get-params() { + [ $# = 1 ] || abort "internal error"; + local installhtm="$1"; shift 1; + + if [ ! -f "$installhtm" ]; then + warning "could not find file '$installhtm'"; + return 1; + fi; + + local start=`grep -n "^setArchiveFile()\$" "$installhtm"`; + local end=`grep -n "^platformButtons()\$" "$installhtm"`; + start=$[${start%%:*} + 3]; + end=$[${end%%:*} - 2]; + + head -$end "$installhtm" | tail -$[$end - $start] \ + | sed '-es/[ ]*//' '-es!>$!/>!' '-e/^$/d'; +} + function website-print-xml-installers() { local program="$FUNCNAME"; local version='$Revision$'; @@ -192,23 +210,12 @@ function website-print-xml-installers() { $program-add-archives "$basepath"; echo "</installers>"; - local installhtm="$basepath.ia/Web_Installers/install.htm"; - if [ ! -f "$installhtm" ]; then - warning "could not find file '$installhtm'"; - return 1; - fi; - - local start=`grep -n "^setArchiveFile()\$" "$installhtm"`; - local end=`grep -n "^platformButtons()\$" "$installhtm"`; - start=$[${start%%:*} + 3]; - end=$[${end%%:*} - 2]; - echo ""; echo "<webinstaller>"; echo ""; echo "<params>"; - head -$end "$installhtm" | tail -$[$end - $start] \ - | sed '-es/[ ]*//' '-es!>$!/>!' '-e/^$/d'; + $program-get-params "$basepath.ia/Web_Installers/install-unix.htm"; + $program-get-params "$basepath.ia/Web_Installers/install-windows.htm"; echo "</params>"; echo ""; echo "</webinstaller>"; |