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 [ "" ,"