On Fri, 18 Jul 2003, Rankin, SE (Stephen) wrote:
> What a will do then is delete all the docs/<pkg_name>/javadocs as this is
> included in export-full-docs stuff and then just tar up starjava/docs. This
> is easily done, any objections? It is probably not the best solution, but it
> is certainly the easiest.
OK.
|