j2se_base="/usr/share/doc/j2sdk1.5-sun-doc"
priority=314

if [ ! -e "$j2se_base/debian/info" ]; then
    exit 0
fi

# Register the documentation with the various 
# documentation systems, i.e. dhelp and dwww.

if [ "$1" = configure ] ; then
    if which install-docs >/dev/null 2>&1; then
        install-docs -i /usr/share/doc-base/sun-j2sdk1.5-doc
    fi
fi

