From 5f4fa6a3c69889a9805d45f98b992ba3d7a7d5c7 Mon Sep 17 00:00:00 2001
From: Marcus Jaschen <mjaschen@gmail.com>
Date: Mon, 12 Dec 2016 14:52:57 +0100
Subject: [PATCH] Declare Makefile targets as `PHONY`

By default, targets in Makefiles maps to files. This isn't the case
here as the targets are used as simple 'shortcuts'. That kind of target
should be declared as "phony", as described in the manual:

https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html
---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 82e15af..a746940 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,9 @@
+.PHONY: docker-image
+.PHONY: docker-push
+.PHONY: docker-destroy
+.PHONY: docker-run
+.PHONY: archive
+
 JS_FILE = assets/js/all.js
 CONTAINER = miniflux
 IMAGE = miniflux/miniflux