;doc: move most dev docs to doc/

This commit is contained in:
Simon Michael 2022-12-04 11:22:05 -08:00
parent e74854e5ef
commit 5dee1fe78c
22 changed files with 6 additions and 6 deletions

View File

@ -762,18 +762,18 @@ main = do
phony "orgfiles" $
need [
".BACKLOG.md"
,".ROADMAP.md"
"doc/BACKLOG.md"
,"doc/ROADMAP.md"
]
-- These org files are converted to markdown for the website.
[ ".ROADMAP.md"
,".BACKLOG.md"
[ "doc/ROADMAP.md"
,"doc/BACKLOG.md"
] |%> \out -> do
let src = drop 1 out -<.> "org"
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 $ drop 1 out
let heading = dropExtension out
mdlines <- drop 1 . lines . fromStdout <$> (cmd Shell pandoc fromorg towebmd src :: Action (Stdout String))
liftIO $ writeFile out $ unlines $ [
"<!-- " ++ "Generated by \"Shake " ++ out ++ " from " ++ src ++ " -->"