[Bug gjdoc/28382] [patch] remove timestamp in about.html and gjdoc.properties

[overholt at redhat dot com]

------- Comment #6 from overholt at redhat dot com  2006-09-07 20:17 -------

(In reply to comment #3)
> > gjdoc puts a timestamp in the about.html file which causes a problem for
> > multilib installs.
> > [...]
> > (2)add a gjdoc specific flag to remove or include the timestamp
> 
> Personally I think option 2 is nicer. The timestamp is put in so the user 
> knows
> when the documentation was generated. Although I guess it should normally not
> matter as long as the correct version is mentioned in the docs.

Indeed it should not matter.  Also, from my standpoint, I see no reason to make
gjdoc incompatible with proprietary javadocs.  IMHO we should add a
gjdoc-specific option to make it generate the timestamps.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28382