#!/bin/sh
if [ -z "$JAVA_HOME" ] ; then
    export JAVA_HOME=/usr/local/java
fi
if [ -z "$BROWSER" ] ; then
    export BROWSER=$JAVA_HOME/doc/api_index/lynx
fi
if [ -z "$TMP" ] ; then
    export TMP=/tmp
fi



$JAVA_HOME/doc/api_index/swish-e -w $* -f $JAVA_HOME/doc/api_index/api_index|$JAVA_HOME/doc/api_index/form1 > $TMP/result.html|$BROWSER $TMP/result.html


