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

[mark at gcc dot gnu dot org]

------- Comment #3 from mark at gcc dot gnu dot org  2006-07-15 17:42 -------
> gjdoc puts a timestamp in the about.html file which causes a problem for
> multilib installs. Java packages with native code are compiled separately for
> each arch which creates a different timestamp for each compile. This timestamp
> difference gives the javadocs different md5sums which makes it not possible to
> install packages from multiple architectures. 

But the timestamp is in the arch independent documentation files. Which I
presume are only build once for all arches. So why is this a problem?

> (1)remove the timestamp entirely
> (2)add a gjdoc specific flag to remove or include the timestamp
> (3)do nothing and let distros carry the patch
> 
> Attached is a patch for option 1, which I will be putting in the gjdoc rpm for
> FC6.  Let me know if you think option 2 is better and I can whip up a patch.

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.


-- 


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