@echo off

:: Check that %GSDL3HOME% is set
if not "%GSDL3HOME%" == "" goto envOK
  echo "You need to run `setup.bat' before running this install file"
  goto end

:envOK

:: Remake GSDL3
cd %GSDL3HOME%\src\java\org\greenstone\gsdl3
call winMake.bat
call winMake.bat install
cd %GSDL3HOME%

echo.
echo ----------------
echo.
echo You should now restart your Tomcat server.