diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-09-08 10:46:30 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-14 10:29:11 +0200 |
| commit | 416f11f1d4b2e12d8db2687e753d760f148cfc2d (patch) | |
| tree | 0c875d2d5caa0de696df1a650c34b66af93da254 /build-aux | |
| parent | 3d8d0642da5e5982e17122ab35774f9d5dfca79b (diff) | |
| download | guix-416f11f1d4b2e12d8db2687e753d760f148cfc2d.tar guix-416f11f1d4b2e12d8db2687e753d760f148cfc2d.tar.gz | |
maint: Ensure generated file reproducibility for dist.
* doc/local.mk (doc-clean): New target.
(DIST_CONFIGURE_FLAGS): New variable.
(auto-clean): Use them in new target.
* Makefile.am (dist-doc-pot-update): Use it in new target.
(dist): Change to depend on it to clean possibly stale files, instead of
doc-pot-update directly.
Add a toplevel check to ensure that Autotools cache is up to date.
Change-Id: I2ff2d88db9fe1e708ab65e33e1f3d7ecee882cb4
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions