--- /dev/null
+#!/bin/sh
+# usage e.g. $0 1.0-20
+[[ -z "$@" ]] && { echo Usage $0 stable ; exit 1 ; }
+stable=$1; shift
+[[ -n "$@" ]] && { echo Usage $0 stable ; exit 1 ; }
+stable=$(echo $stable | sed -e s,/,,g)
+stabledot=$(echo $stable | sed -e s,-,.,g)
+for dir in $(ls -d $stable/*[24]) ; do
+ base=$(echo $dir | sed -e s,/,,g -e s,--,,g -e s,sfa-,,g -e s,$stabledot,,g)
+ stablelink="stable-$base"
+ echo Linking $stablelink to $dir
+ [ -h $stablelink ] && rm $stablelink
+ [ -e $stablelink ] && { echo "found not-a-link $base - ignored" ; continue ; }
+ ln -s $dir $stablelink
+done