#!/bin/sh

ARG=`echo $1 | sed -e 's/^s//'` ; shift # $

echo "Warning: correcting 'darc s$ARG' to 'darcs $ARG'..."
darcs $ARG "$@"