#!/bin/bash

ext=$1

if [ $ext = "mars-src" ] || [ $ext = "mars" ] ; then
    svn co https://svn.greenstone.org/gs2-extensions/mars-src/trunk mars
else
    svn co https://svn.greenstone.org/gs2-extensions/$ext/trunk/src $ext
fi