After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 744938 - PATCH: add option to build latex without timestamps
PATCH: add option to build latex without timestamps
Status: RESOLVED FIXED
Product: doxygen
Classification: Other
Component: general
1.8.8-GIT
Other Linux
: Normal enhancement
: ---
Assigned To: Dimitri van Heesch
Dimitri van Heesch
Depends on:
Blocks:
 
 
Reported: 2015-02-22 09:18 UTC by marivalenm
Modified: 2015-12-30 10:19 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Add LATEX_TIMESTAMP option (2.62 KB, patch)
2015-02-22 09:18 UTC, marivalenm
none Details | Review

Description marivalenm 2015-02-22 09:18:56 UTC
Created attachment 297559 [details] [review]
Add LATEX_TIMESTAMP option

Doxygen offers the option to omit HTML timestamps by setting HTML_TIMESTAMP option to NO but, it does not offer the option the omit timestamps from Latex. This is fixed with the patch I provide.

Additionally this option will allow to generate documentation that is bit-wise identical between different compilation runs which makes it easier to verify that a given binary was indeed generated from a given source.

I set the default value for the LATEX_TIMESTAMP option to YES because that is how it is done in the HMTL_TIMESTAMP option. But maybe it would make sense to set the default to be NO in order to have reproducibility by default?
Comment 1 W. Martin Borgert 2015-02-27 23:51:17 UTC
I wonder, which sense the time stamps make. Why not remove them altogether? If they are useful to some, I agree with marivalenm, they at least should be "off" by default. This would help all the people working on reproducible builds, at Debian, S.u.S.E. etc.
Comment 2 marivalenm 2015-03-02 10:33:17 UTC
(In reply to W. Martin Borgert from comment #1)
> I wonder, which sense the time stamps make. Why not remove them altogether?
> If they are useful to some, I agree with marivalenm, they at least should be
> "off" by default. This would help all the people working on reproducible
> builds, at Debian, S.u.S.E. etc.

Thanks, I opened a separate issue for this here: https://bugzilla.gnome.org/show_bug.cgi?id=745439
Comment 3 Mattia Rizzolo 2015-10-02 22:34:27 UTC
Let me ping this feature request.

Only a point: given that the default HTML_TIMESTAMP was changed to NO, it would make lot of sense to also have this LATEX_TIMESTAMP to NO (contrary to the current patch which use YES).
Comment 4 Dimitri van Heesch 2015-10-31 17:30:52 UTC
Thanks, I'll include the patch in the next GIT update and make the default NO as suggested.
Comment 5 Dimitri van Heesch 2015-12-30 10:19:21 UTC
This bug was previously marked ASSIGNED, which means it should be fixed in
doxygen version 1.8.11. Please verify if this is indeed the case. Reopen the
bug if you think it is not fixed and please include any additional information 
that you think can be relevant (preferably in the form of a self-contained example).