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