Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

docs: Use SOURCE_DATE_EPOCH for generated manpages #12092

Closed
wants to merge 1 commit into from
Closed

docs: Use SOURCE_DATE_EPOCH for generated manpages #12092

wants to merge 1 commit into from

Conversation

heftig
Copy link
Contributor

@heftig heftig commented Oct 11, 2023

This should make builds from Git reproducible.

vszakats
vszakats reviewed Oct 11, 2023
View reviewed changes
docs/cmdline-opts/gen.pl Outdated Show resolved Hide resolved
@heftig heftig force-pushed the manpage-epoch branch 3 times, most recently from dd14194 to ce25554 Compare October 11, 2023 19:19
@heftig
docs: Use SOURCE_DATE_EPOCH for generated manpages
3cd14f2 
This should make builds from Git reproducible.
bagder
bagder approved these changes Oct 12, 2023
View reviewed changes
Copy link
Member

@bagder bagder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

sensible!

@bagder
Copy link
Member

bagder commented Oct 12, 2023

Thanks!

@bagder bagder closed this in 1f7d8cd Oct 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bagder bagder bagder approved these changes

@vszakats vszakats vszakats approved these changes

Assignees
No one assigned
Labels
cmdline tool documentation hacktoberfest-accepted script
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@heftig @bagder @vszakats