diff options
author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-02 22:00:46 +0200 |
---|---|---|
committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-14 10:29:10 +0200 |
commit | b4d2838d511f8fc94458358938493b5a1646d8f7 (patch) | |
tree | 4daad44d12ab035cc7f678f2b678c68a7cb926b1 /AUTHORS | |
parent | b850d77e1149274882042d8e75da6715c260f618 (diff) | |
download | guix-b4d2838d511f8fc94458358938493b5a1646d8f7.tar.gz |
maint: Generate 'doc/version-LANG.texi' reproducibly.
* doc/local.mk ($(srcdir)/doc/stamp-vti): Change rule into... (version.texi-from-git): ...this new function. Call it with vti,guix.texi,; and for all MANUAL_LANGUAGES with $(i),po/doc/guix-manual.$(lang).po, -$(lang.po). Change-Id: Ia8df618178066cad320eecea0299337224e23a73
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions