diff --git a/Shake.hs b/Shake.hs index 624a52bd7..3ba68a902 100755 --- a/Shake.hs +++ b/Shake.hs @@ -772,34 +772,28 @@ main = do phony "site" $ do need [ "webmanuals" - ,"orgfiles" ] cmd_ "make -C site build" - phony "orgfiles" $ - need [ - -- "doc/BACKLOG.md" - ] - - -- These org files are converted to markdown for the website. - [ -- "doc/BACKLOG.md" - ] |%> \out -> do - let src = out -<.> "org" - need [src] - -- replace the generated top heading with our own so we can insert the TOC after it - let heading = dropExtension out - mdlines <- drop 1 . lines . fromStdout <$> (cmd Shell pandoc fromorg towebmd src :: Action (Stdout String)) - liftIO $ writeFile out $ unlines $ [ - "" - ,"" - ,"# " ++ heading - ,"" - ,"