I'm not very fond of this suggestion, as it would change the behavior our users may expect (the -notimestamp option also removes the version of the JDK used, and this is sometime used by Greasemonkey scripts to change the style of the pages [1]). If this is implemented it would be preferable to disable the timestamps only when building a Debian package (through the detection of a specific environment variable).
It's also worth mentioning that javahelper and maven-debian-helper have been changed to disable the timestamps in the javadoc, so this issue now only affects the packages that do not use these helpers (I haven't checked how many exactly, but I hope that's a minority). Emmanuel Bourg [1] http://userscripts-mirror.org/scripts/show/108797 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
