Chris Douglas wrote:
If we do (1) or (2), it would also be helpful to add the generated docs to the svn and git ignore lists. -C
I think we'd just change build.xml to put the generated docs in build/ not in docs/. They'd get bundled in docs/ only in releases.
Doug
