From 7fd3a3ac9250d993e5dffef44d4f01d691e4e343 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Anders=20F=20Bj=C3=B6rklund?= <anders.f.bjorklund@gmail.com>
Date: Wed, 28 Feb 2018 17:30:38 +0100
Subject: The Dockerfile was moved to a subdirectory

---
 dev.mk.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev.mk.in b/dev.mk.in
index a28d1390..07e8b6bd 100644
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -187,6 +187,6 @@ analyze:
 
 .PHONY: docker
 docker: misc/Dockerfile
-	$(DOCKER) build $(srcdir)
+	$(DOCKER) build -f $< $(srcdir)
 
 -include .deps/*.d
-- 
cgit v1.2.1