diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-17 19:54:05 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-19 16:45:41 +0200 |
| commit | f83b5274c8d67a9bccf8881cc4f87d76a3d172de (patch) | |
| tree | 75b8ca766c6bdebdc4b34d173f1fb7d8e10141bd /gnu/packages/coq.scm | |
| parent | bb089f76227666e11e6949038c4fd9e130e047a3 (diff) | |
| download | guix-f83b5274c8d67a9bccf8881cc4f87d76a3d172de.tar guix-f83b5274c8d67a9bccf8881cc4f87d76a3d172de.tar.gz | |
maint: Support `make doc-pot-update' from a tarball.
* build-aux/xgettext.scm: Move setting of environment variables to shell
header.
(main): Use SOURCE_DATE_EPOCH as fallback for timestamp. This fixes running
from a tarball.
* Makefile.am (EXTRA_DIST): Add it.
Change-Id: Ic487587b22495868fd2a21545a13dc9e3458299c
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions