#!/bin/bash

echo "+ Installing cgi-bin programs to: "
echo "+    $GSDL3HOME/WEB-INF/cgi"

/bin/cp cgi-bin/* $GSDL3HOME/WEB-INF/cgi/.



set web_meandre="$GSDL3HOME/ext/meandre"
if [ ! -d "$web_meandre" ] ; then
  echo "+ Creating web extension directory: "
  echo "+    $web_meandre"

  mkdir "$web_meandre"
fi


echo "+ Installing web scripts to: "
echo "+    $GSDL3HOME/ext/meandre"


/bin/cp -r web/* $GSDL3HOME/ext/meandre/.