diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-29 22:20:34 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-29 22:21:14 +0200 |
| commit | 842a687264e4dd88e4aa7f608582d6adc0313a07 (patch) | |
| tree | 3b341bb8b06af2fe0b03415dad6a528108e60ff1 /etc | |
| parent | 09a9f1097458e57d271b05dbf11f1fe0fd98c088 (diff) | |
| download | guix-842a687264e4dd88e4aa7f608582d6adc0313a07.tar guix-842a687264e4dd88e4aa7f608582d6adc0313a07.tar.gz | |
maint: Mark 'doc-pot-update' and 'doc-po-update' as phony.
* po/doc/local.mk (doc-pot-update, doc-pot-update): Mark as phony.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions