summaryrefslogtreecommitdiff
path: root/support/scripts
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2004-06-11 14:33:30 +0000
committerpaltherr <paltherr@epfl.ch>2004-06-11 14:33:30 +0000
commit87b12a10405fbb453e5f5838b70f35972c7822ed (patch)
tree9cb74afa4e12314d14b28d8939794a7abe0e8601 /support/scripts
parentd03b5fd70e6514cd87e15de1fb49b63967857a8d (diff)
downloadscala-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/scripts')
-rw-r--r--support/scripts/website.sh33
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>";