tree 794e8b7e638a51a8fc25a9130d7299f30d774f3a
parent 1af500404a7c241508d3d7307a7f994495569394
author Robert Munteanu <rombert@apache.org> 1542117252 +0100
committer Robert Munteanu <rombert@apache.org> 1542117252 +0100

generate_javadoc_for_release: set notimestamp=true

This makes incremental publishing of javadoc much simpler, as unchanged files will
no longer have spurious changes due to the hidden timestamp comment or the
'<meta name="date">' header.