From 1862cb0559b55953f143b41876ce4f87420bf914 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Thu, 25 Oct 2018 08:28:29 +0200
Subject: [PATCH] Preserve metadata in copy (Make.sh)

Addresses #43 but I'm not 100% convinced it makes any difference.
---
 Make.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Make.sh b/Make.sh
index 97870d31d..ce73171c4 100755
--- a/Make.sh
+++ b/Make.sh
@@ -97,4 +97,4 @@ done
 
 # Copy
 echo "Copying to ${dest}"
-cp -R "${dist}"/* "${dest}"
+cp -R -p "${dist}"/* "${dest}"