diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-09-09 13:35:40 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-14 10:29:10 +0200 |
| commit | ea23a124ad3e7065fe22844ee637bb9c0ecfef56 (patch) | |
| tree | 177f421b62b929b8596ca146efed7d78d5c59459 | |
| parent | 8fdc372841d000a5293f349e1df3d654e85012fa (diff) | |
| download | guix-ea23a124ad3e7065fe22844ee637bb9c0ecfef56.tar.gz | |
maint: Help help2man generate reproducible man-pages.
* doc/local.mk (SOURCE_DATE_EPOCH): New exported variable. Change-Id: I6636693695d5502657f1475d93d31949e0b0b39d
| -rw-r--r-- | doc/local.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/local.mk b/doc/local.mk index 18bd599962..a653a32420 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -224,6 +224,9 @@ gen_man = \ $(HELP2MANFLAGS) HELP2MANFLAGS = --source=GNU --info-page=$(PACKAGE_TARNAME) +# help2man reproducibility +SOURCE_DATE_EPOCH = $(shell git show HEAD --format=%ct --no-patch 2>/dev/null || echo 1) +export SOURCE_DATE_EPOCH $(srcdir)/%D%/guix.1: scripts/guix.in $(sub_commands_mans) -$(AM_V_HELP2MAN)$(gen_man) --output="$@" `basename "$@" .1` |