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 /po/doc | |
| 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 'po/doc')
| -rw-r--r-- | po/doc/local.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/po/doc/local.mk b/po/doc/local.mk index 6b51c2a071..b6262b1fd8 100644 --- a/po/doc/local.mk +++ b/po/doc/local.mk @@ -54,7 +54,7 @@ $(srcdir)/po/doc/%.pot-update: doc/%.texi -p "$$(echo $@ | sed 's|-update||')" $(POT_OPTIONS) @touch "$$(echo $@ | sed 's|-update||')" -TMP_POT_FILES=contributing.pot guix.pot +TMP_POT_FILES = contributing.pot guix.pot doc-pot-update: for f in $(TMP_POT_FILES); do \ @@ -68,3 +68,5 @@ doc-po-update: doc-pot-update for f in $(DOC_PO_FILES); do \ $(MAKE) "$$f"; \ done + +.PHONY: doc-po-update doc-pot-update |