diff options
| -rw-r--r-- | src/Main.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Main.hs b/src/Main.hs index a60ca4c33..0c9bc598a 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -177,7 +177,7 @@ options = , Option "" ["strict"] (NoArg (\opt -> return opt { optStrict = True } )) - "" -- "Use strict markdown syntax with no extensions" + "" -- "Disable markdown syntax extensions" , Option "" ["reference-links"] (NoArg @@ -399,7 +399,7 @@ main = do , optNumberSections = numberSections , optIncremental = incremental , optSmart = smart - , optASCIIMathML = asciiMathML + , optASCIIMathML = math , optDumpArgs = dumpArgs , optIgnoreArgs = ignoreArgs , optStrict = strict @@ -455,11 +455,11 @@ main = do then "" else "<link rel=\"stylesheet\" href=\"" ++ css ++ "\" type=\"text/css\" media=\"all\" />\n" - let asciiMathMLLink = if asciiMathML then asciiMathMLScript else "" + let asciiMathML = if math then asciiMathMLScript else "" let header = (if (customHeader == "DEFAULT") then defaultHeader else customHeader) ++ - csslink ++ asciiMathMLLink ++ includeHeader + csslink ++ asciiMathML ++ includeHeader let writerOptions = WriterOptions { writerStandalone = standalone && (not strict), writerHeader = header, |