#!/bin/bash

if [ ! -d mongodb ] ; then
    svn co https://svn.greenstone.org/main/trunk/gs3-extensions/mongodb/source mongodb
else
    echo ""
    echo "MongoDB extension has already been checked out as: mongodb/"
    echo ""
fi


echo "----"
echo "Now install mongodb with:"
echo "  cd mongodb"
echo "  ./INSTALL.sh"
echo "  cd .."
echo "----"