;tools: Shake: add "orgfiles" for -VVV, fix their deps
This commit is contained in:
parent
e6b25bf9f3
commit
e386576255
10
Shake.hs
10
Shake.hs
@ -745,16 +745,22 @@ main = do
|
|||||||
phony "site" $ do
|
phony "site" $ do
|
||||||
need [
|
need [
|
||||||
"webmanuals"
|
"webmanuals"
|
||||||
,".BACKLOG.md"
|
,"orgfiles"
|
||||||
,".ROADMAP.md"
|
|
||||||
]
|
]
|
||||||
cmd_ "make -C site build"
|
cmd_ "make -C site build"
|
||||||
|
|
||||||
|
phony "orgfiles" $
|
||||||
|
need [
|
||||||
|
".BACKLOG.md"
|
||||||
|
,".ROADMAP.md"
|
||||||
|
]
|
||||||
|
|
||||||
-- These org files are converted to markdown for the website.
|
-- These org files are converted to markdown for the website.
|
||||||
[ ".ROADMAP.md"
|
[ ".ROADMAP.md"
|
||||||
,".BACKLOG.md"
|
,".BACKLOG.md"
|
||||||
] |%> \out -> do
|
] |%> \out -> do
|
||||||
let src = drop 1 out -<.> "org"
|
let src = drop 1 out -<.> "org"
|
||||||
|
need [src]
|
||||||
liftIO $ writeFile out $ unlines [
|
liftIO $ writeFile out $ unlines [
|
||||||
"<!-- " ++ "Generated by \"Shake " ++ out ++ " from " ++ src ++ " -->"
|
"<!-- " ++ "Generated by \"Shake " ++ out ++ " from " ++ src ++ " -->"
|
||||||
,"<div class=\"pagetoc\">"
|
,"<div class=\"pagetoc\">"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user