From c89289260ff4446e3a1a21d5aa2e77627633f06f Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 25 Sep 2021 13:13:00 -1000 Subject: [PATCH] ;shake: try -smart to fix em-dashes in org files, probably no use And some notes. --- Shake.hs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/Shake.hs b/Shake.hs index dc4b52e61..b5745f530 100755 --- a/Shake.hs +++ b/Shake.hs @@ -124,14 +124,12 @@ grep = "grep -E" fromsrcmd = "-f markdown-smart-tex_math_dollars" -- The kind of org markup used in any org source files. -fromorg = "-f org" +fromorg = "-f org-smart" -- The kind of markdown we like to generate for the website. --- This will be consumed by sphinx extensions: --- recommonmark (Commonmark syntax, https://spec.commonmark.org) --- sphinx-markdown-tables (PHP Markdown Extra table syntax, https://michelf.ca/projects/php-markdown/extra/#table) --- XXX trying to force the use of pipe_tables here, but sometimes it uses html instead --- --markdown-headings=atx requires pandoc 2.11.2+, with older pandoc use --atx-headers instead +-- This was configured for sphinx+recommonmark+sphinx-markdown-tables; it could be reviewed now that we use mdbook. +-- Trying to force the use of pipe_tables here, but sometimes it uses html instead. +-- --markdown-headings=atx requires pandoc 2.11.2+, with older pandoc use --atx-headers instead. towebmd = "-t markdown-smart-fenced_divs-fenced_code_attributes-simple_tables-multiline_tables-grid_tables-raw_attribute --markdown-headings=atx"