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 750447 - add option to build man pages without timestamps
add option to build man pages without timestamps
Status: RESOLVED OBSOLETE
Product: doxygen
Classification: Other
Component: general
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: Dimitri van Heesch
Dimitri van Heesch
[moved_to_github]
Depends on:
Blocks:
 
 
Reported: 2015-06-05 10:19 UTC by marivalenm
Modified: 2018-07-30 10:13 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description marivalenm 2015-06-05 10:19:40 UTC
Hello,

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 man pages. 

This 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.

This issue is similar to the following bugs: 
- Bug 745439 - PATCH: please consider making doxygen output byte for byte identical between individual runs by default
- Bug: 744938 - PATCH: add option to build latex without timestamps
- Bug: 646436 I'd like a man output configuration option like HTML_TIMESTAMP for footers.

So maybe instead it makes sense to add an option to disable timestamps everywhere as suggested by a comment in bug 744938?

Kind Regards,
akira
Comment 1 André Klapper 2018-07-30 10:13:47 UTC
As discussed in https://github.com/doxygen/doxygen/pull/734 , Doxygen has moved its issue tracking to 

   https://github.com/doxygen/doxygen/issues

All Doxygen tickets in GNOME Bugzilla have been migrated to Github. You can subscribe and participate in the new ticket in Github. You can find the corresponding Github ticket by searching for its Bugzilla ID (number) in Github.

Hence I am closing this GNOME Bugzilla ticket.
Please use the corresponding ticket in Github instead. Thanks a lot!