#!/bin/bash

if [ $# != 1 ] ; then
    echo "Usage: $0 ext-name" >&2
    exit 1
fi

ext=$1

svn co https://svn.greenstone.org/main/trunk/gs2-extensions/$ext/source $ext