From e38657625509f0576ada7d56e7e8747106fa0d6d Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 19 Sep 2021 08:04:38 -1000
Subject: [PATCH] ;tools: Shake: add "orgfiles" for -VVV, fix their deps

---
 Shake.hs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index 773cc363f..dc4b52e61 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -745,16 +745,22 @@ main = do
       phony "site" $ do
         need [
            "webmanuals"
-          ,".BACKLOG.md"
-          ,".ROADMAP.md"
+          ,"orgfiles"
           ]
         cmd_ "make -C site build"
 
+      phony "orgfiles" $
+        need [
+           ".BACKLOG.md"
+          ,".ROADMAP.md"
+          ]
+
       -- These org files are converted to markdown for the website.
       [ ".ROADMAP.md"
        ,".BACKLOG.md"
        ] |%> \out -> do
         let src = drop 1 out -<.> "org"
+        need [src]
         liftIO $ writeFile out $ unlines [
            "<!-- " ++ "Generated by \"Shake " ++ out ++ " from " ++ src ++ " -->"
           ,"<div class=\"pagetoc\">"