From 9333cfe28b5f536aedf3d7b96a8c65bba524a455 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 6 Mar 2019 08:39:43 -0800
Subject: [PATCH] shake: don't echo commands by default

[ci skip]
---
 Shake.hs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index b435cc37d..d3b00dacb 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -126,10 +126,12 @@ main = do
   wikipagefilenames <- map dropExtension . filter (".md" `isSuffixOf`) <$> S.getDirectoryContents wikidir
 
   shakeArgs
-    shakeOptions{
-      shakeVerbosity=Loud
+    shakeOptions
+      {
+       shakeVerbosity=Quiet
       -- ,shakeReport=[".shake.html"]
-      } $ do
+      }
+      $ do
 
     want ["help"]