shake: disable pandoc's tex math extension to silence relnote warning

[ci skip]
This commit is contained in:
Simon Michael 2018-12-03 09:21:05 -08:00
parent d710ea113f
commit ef0f4cd4d2

View File

@ -72,6 +72,9 @@ makeinfo = "makeinfo"
groff = "groff" groff = "groff"
dropDirectory2 = dropDirectory1 . dropDirectory1 dropDirectory2 = dropDirectory1 . dropDirectory1
-- The pandoc markdown variant used in our docs:
mdfmt = "markdown-tex_math_dollars"
main = do main = do
shakeArgs shakeArgs
@ -200,7 +203,7 @@ main = do
need $ src : lib : tmpl : deps need $ src : lib : tmpl : deps
cmd Shell cmd Shell
"m4 -P -DMAN -I" dir lib src "|" "m4 -P -DMAN -I" dir lib src "|"
pandoc "-f markdown -s --template" tmpl pandoc ("-f "++mdfmt++" -s --template") tmpl
"--lua-filter tools/pandoc-drop-html-blocks.lua" "--lua-filter tools/pandoc-drop-html-blocks.lua"
"--lua-filter tools/pandoc-drop-html-inlines.lua" "--lua-filter tools/pandoc-drop-html-inlines.lua"
"--lua-filter tools/pandoc-drop-links.lua" "--lua-filter tools/pandoc-drop-links.lua"
@ -226,7 +229,7 @@ main = do
need $ src : lib : deps need $ src : lib : deps
cmd Shell cmd Shell
"m4 -P -I" dir lib src "|" "m4 -P -I" dir lib src "|"
pandoc "-f markdown" pandoc ("-f "++mdfmt)
"--lua-filter tools/pandoc-drop-html-blocks.lua" "--lua-filter tools/pandoc-drop-html-blocks.lua"
"--lua-filter tools/pandoc-drop-html-inlines.lua" "--lua-filter tools/pandoc-drop-html-inlines.lua"
"--lua-filter tools/pandoc-drop-links.lua" "--lua-filter tools/pandoc-drop-links.lua"
@ -257,7 +260,7 @@ main = do
liftIO $ writeFile out $ "# " ++ heading ++ "\n\n" liftIO $ writeFile out $ "# " ++ heading ++ "\n\n"
cmd Shell cmd Shell
"m4 -P -DMAN -DWEB -I" dir lib src "|" "m4 -P -DMAN -DWEB -I" dir lib src "|"
pandoc "-f markdown -t markdown-fenced_divs --atx-headers" pandoc ("-f "++mdfmt++" -t markdown-fenced_divs --atx-headers")
"--lua-filter tools/pandoc-demote-headers.lua" "--lua-filter tools/pandoc-demote-headers.lua"
">>" out ">>" out
@ -306,7 +309,7 @@ main = do
template = "site/site.tmpl" template = "site/site.tmpl"
siteRoot = if "site/_site/doc//*" ?== out then "../.." else "." siteRoot = if "site/_site/doc//*" ?== out then "../.." else "."
need [source, template] need [source, template]
cmd Shell pandoc "--from markdown --to html" source cmd Shell pandoc ("-f "++mdfmt++" -t html") source
"--template" template "--template" template
("--metadata=siteRoot:" ++ siteRoot) ("--metadata=siteRoot:" ++ siteRoot)
("--metadata=title:" ++ pageTitle) ("--metadata=title:" ++ pageTitle)