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 /.gitignore | |
parent | 09a9f1097458e57d271b05dbf11f1fe0fd98c088 (diff) | |
download | 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions