building docs (extension of partial build)

[Mike Duigou]

The script doesn't seem to be attached. What relation does it have to the "-notimestamp" option? For javadoc checked in to version control we found that having the "-notimestamp" option made things much simpler as regeneration didn't produce spurious diffs.

Mike

On Oct 29 2012, at 12:00 , Jonathan Gibbons wrote:

> On 10/29/2012 11:58 AM, Magnus Ihse Bursie wrote:
>> On 2012-09-19 18:46, Kelly O'Hair wrote:
>>> No comparisons were done against the old javadoc generation.
>>> 
>> 
>> Just a little ping here: we need to add javadoc comparison to the compare script. Or find some other way to do it. If we don't compare, we don't know if we broke anything.
>> 
>> /Magnus
> 
> 
> See the attached script that I use to remove timestamps from javadoc docs to aid in comparisons.
> 
> -- Jon