#!/bin/sh
## buildodc file

JAVA_BIN=/home/miti/Summer/j2sdk1.4.0_01/bin
mkdir htmldocs
$JAVA_BIN/javadoc -link http://java.sun.com/products/jdk/1.3/docs/api -public -d htmldocs com.declarativa.interprolog com.declarativa.interprolog.gui com.declarativa.interprolog.util com.xsb.interprolog
