From 48b8dd9be7a989a9cf64442278041f53ec3b21de Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 2 Aug 2021 22:21:06 -1000
Subject: [PATCH] ;shake: don't regenerate dir for now (fix)

---
 Shake.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index 7b6c719a8..f8b7e71ee 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -492,7 +492,7 @@ main = do
       --   need infomanuals
       --   forM_ infomanuals $ \info -> cmd_ Shell "install-info" info out
 
-      phony "infomanuals" $ need $ infomanuals ++ [infodir]
+      phony "infomanuals" $ need $ infomanuals  -- ++ [infodir]
 
       -- WEBSITE MARKDOWN SOURCE