shake: build only the needed, pandoc-2-compatible pandoc filters
This commit is contained in:
parent
c082f2676b
commit
316b6f344e
15
Shake.hs
15
Shake.hs
@ -76,9 +76,18 @@ groff = "groff"
|
|||||||
|
|
||||||
main = do
|
main = do
|
||||||
|
|
||||||
pandocFilters <-
|
-- pandocFilters <-
|
||||||
map ("tools" </>). nub . sort . map (-<.> "") . filter ("pandoc-" `isPrefixOf`)
|
-- map ("tools" </>). nub . sort . map (-<.> "") . filter ("pandoc-" `isPrefixOf`)
|
||||||
<$> S.getDirectoryContents "tools"
|
-- <$> S.getDirectoryContents "tools"
|
||||||
|
let pandocFilters =
|
||||||
|
[
|
||||||
|
"tools" </> "pandoc-demote-headers"
|
||||||
|
,"tools" </> "pandoc-drop-html-blocks"
|
||||||
|
,"tools" </> "pandoc-drop-html-inlines"
|
||||||
|
,"tools" </> "pandoc-drop-links"
|
||||||
|
,"tools" </> "pandoc-drop-notes"
|
||||||
|
,"tools" </> "pandoc-drop-toc"
|
||||||
|
]
|
||||||
|
|
||||||
shakeArgs
|
shakeArgs
|
||||||
shakeOptions{
|
shakeOptions{
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user