Re: [DrJava] User Documentation

[Eric E. A. <eri...@ma...>]

>   Anyway, the initial framework has now been committed.  The docs 
> directory is within edu/rice/cs/drjava, which isn't ideal, but works 
> well enough.  (Ideally it would be parallel to the src directory, but 
> we can't easily change the CVS root, which currently starts at the src 
> directory.)

Of course, there is one really big advantage to putting the 
documentation in the DrJava directory: you'll always have the up-to-date 
docs just by doing a single ant update (unlike, e,g., the util classes. 
They were originally in a subpackage of drjava, and it was probably a 
mistake to  lift them).

> There is now a "docs" target to call from ant, which will generate the 
> HTML files for the documentation if you have "docbook2html" on your 
> path.  I know this is installed on at least the Linux CS machines (eg. 
> nunavut), though I haven't found it on the Solaris ones.  The HTML 
> files will be written to a "docs" directory next to your "built" 
> directory.

Would it make sense to install it into the javaplt bin directory? 
Charlie, let me know if you want to do this, and I'll give you the 
password. We should both have write access to those directories anyway.

-- Eric