summaryrefslogtreecommitdiff
path: root/po
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-04-29 22:20:34 +0200
committerLudovic Courtès <ludo@gnu.org>2019-04-29 22:21:14 +0200
commit842a687264e4dd88e4aa7f608582d6adc0313a07 (patch)
tree3b341bb8b06af2fe0b03415dad6a528108e60ff1 /po
parent09a9f1097458e57d271b05dbf11f1fe0fd98c088 (diff)
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')
-rw-r--r--po/doc/local.mk4
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