#!/bin/bash

echo Generating docs...

if [ "$JDI_HOME" =  "" ] ; then
  echo JDI_HOME environment variable NOT defined.
  WD=`pwd`
  cd ../
  export JDI_HOME=`pwd`
  echo Guessed home directory: $JDI_HOME
  cd $WD
fi

cd $JDI_HOME/src
/opt/prominic/jdk/1.3/bin/javadoc -d $JDI_HOME/doc/api passwd com.Prominic.jdi.server com.Prominic.jdi.client com.Prominic.tools
cd $WD
