From de1b45be15f8bd1a2cba3491b6d0a17aeb3c8f3d Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Sun, 12 Dec 2021 19:57:25 +0100
Subject: [PATCH] downgrad mapCopyright lint to suggestion

(as per today's discussion with tabascoeye, mapCopyright should not be
required, though I've left it as recommended)
---
 lib/Properties.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Properties.hs b/lib/Properties.hs
index 1d01216..0bd3d55 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -73,7 +73,7 @@ checkMap = do
     $ complain "The map's tile size must be 32 by 32 pixels."
 
   unlessHasProperty "mapCopyright"
-    $ complain "must give the map's copyright via the \"mapCopyright\" property."
+    $ suggest "document the map's copyright via the \"mapCopyright\" property."
 
   -- TODO: this doesn't catch collisions with the default start layer!
   whenLayerCollisions (\(Property name _) -> name == "exitUrl" || name == "startLayer")
-- 
GitLab