diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-02 23:50:20 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-14 10:29:10 +0200 |
| commit | 81a4e76d9e840aa501de1237a807aa140a465b54 (patch) | |
| tree | a17b624046a425606fa84439cf14fbba41f19ef8 /etc | |
| parent | 076670f7acb740e2bfbd8e3c8ef1be5221ed75c5 (diff) | |
| download | guix-81a4e76d9e840aa501de1237a807aa140a465b54.tar guix-81a4e76d9e840aa501de1237a807aa140a465b54.tar.gz | |
maint: Cater for running `make dist' from a worktree.
* Makefile.am (gen-ChangeLog): Check for existance of `.git', rather than it
being a directory.
(gen-AUTHORS): Likewise.
Change-Id: I1b7f8cc147084c1804deb7be9d36e5eeda2599cb
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions