On Thu, 17 Jul 2003, Peter W. Draper wrote:
> What we really need is the "export-full-docs", plus any parts of
> "starjava/docs" that are not javadocs (i.e. just throw all
> "starjava/docs/<pkg_name>/javadocs" directories away).
..though this means that the javadocs for applications (non-library)
packages are no longer included. Granted it's not really designed
for public consumption but it may be of interest to anyone who's
interested enough to go looking. I don't have strong feelings about
including it in the public distribution however.
I'd be inclined to add that including both things (what we've got at the
moment) doesn't do any great harm so it may not be worth rejigging
the distributions in the light of this if it's going to take much
effort, given that it looks like the production process is at quite
a late stage.
Mark
--
Mark Taylor Starlink Programmer Physics, Bristol University, UK
[log in to unmask] 0117 928 8776 http://www.star.bris.ac.uk/~mbt/
|