Skip to content

make the build (man page) reproducible#830

Merged
derf merged 1 commit intoderf:masterfrom
eworm-de:repro
May 6, 2026
Merged

make the build (man page) reproducible#830
derf merged 1 commit intoderf:masterfrom
eworm-de:repro

Conversation

@eworm-de
Copy link
Copy Markdown
Contributor

@eworm-de eworm-de commented May 6, 2026

No description provided.

@derf
Copy link
Copy Markdown
Owner

derf commented May 6, 2026

A little bit of documentation (as in, a comment indicating that SOURCE_DATE_EPOCH can be overridden via the environment to achieve reproducible man page builds) to go with the PR would be neat :)

@eworm-de
Copy link
Copy Markdown
Contributor Author

eworm-de commented May 6, 2026

I am so used to this I did not even consider. :)

But make sense, absolutely. Just updated. Thanks!

@derf
Copy link
Copy Markdown
Owner

derf commented May 6, 2026

Hehe. I had assumed as much, but also assumed that I might not be the only one who is not familiar with reproducible builds. Merged, thanks a bunch!

@derf derf merged commit e4282ac into derf:master May 6, 2026
8 checks passed
@eworm-de eworm-de deleted the repro branch May 6, 2026 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants