From 655e4420b923cbd93ece7b0698aa5218953dca9f Mon Sep 17 00:00:00 2001
From: Gertjan van den Burg <gertjanvandenburg@gmail.com>
Date: Fri, 15 Jan 2021 16:14:28 +0000
Subject: Add copy directive to makefile

---
 python/Makefile | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/python/Makefile b/python/Makefile
index 87a5921..2229b3b 100644
--- a/python/Makefile
+++ b/python/Makefile
@@ -68,11 +68,21 @@ test_direct:
 
 venv: $(VENV_DIR)/bin/activate
 
-$(VENV_DIR)/bin/activate:
+$(VENV_DIR)/bin/activate: copy_files
 	test -d $(VENV_DIR) || python -m venv $(VENV_DIR)
 	source $(VENV_DIR)/bin/activate && pip install -e .[dev]
 	touch $(VENV_DIR)/bin/activate
 
+#############
+# Utilities #
+#############
+
+.PHONY: copy_files
+
+copy_files: ../README.md ../LICENSE
+	cp ../README.md ./README.md
+	cp ../LICENSE ./LICENSE
+
 ############
 # Clean up #
 ############
-- 
cgit v1.2.3