From 842a687264e4dd88e4aa7f608582d6adc0313a07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 29 Apr 2019 22:20:34 +0200
Subject: [PATCH] maint: Mark 'doc-pot-update' and 'doc-po-update' as phony.

* po/doc/local.mk (doc-pot-update, doc-pot-update): Mark as phony.
---
 po/doc/local.mk | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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