@@ -177,7 +177,7 @@ options =
177 , Option "" ["strict"]
177 , Option "" ["strict"]
179 (\opt -> return opt { optStrict = True } ))
179 (\opt -> return opt { optStrict = True } ))
180− "" -- "Use strict markdown syntax with no extensions"
180+ "" -- "Disable markdown syntax extensions"
182 , Option "" ["reference-links"]
182 , Option "" ["reference-links"]
@@ -399,7 +399,7 @@ main = do
399 , optNumberSections = numberSections
399 , optNumberSections = numberSections
400 , optIncremental = incremental
400 , optIncremental = incremental
401 , optSmart = smart
401 , optSmart = smart
402− , optASCIIMathML = asciiMathML
402+ , optASCIIMathML = math
403 , optDumpArgs = dumpArgs
403 , optDumpArgs = dumpArgs
404 , optIgnoreArgs = ignoreArgs
404 , optIgnoreArgs = ignoreArgs
405 , optStrict = strict
405 , optStrict = strict
@@ -455,11 +455,11 @@ main = do
456 else "<link rel=\"stylesheet\" href=\"" ++ css ++
456 else "<link rel=\"stylesheet\" href=\"" ++ css ++
457 "\" type=\"text/css\" media=\"all\" />\n"
457 "\" type=\"text/css\" media=\"all\" />\n"
458− let asciiMathMLLink = if asciiMathML then asciiMathMLScript else ""
458+ let asciiMathML = if math then asciiMathMLScript else ""
459 let header = (if (customHeader == "DEFAULT")
459 let header = (if (customHeader == "DEFAULT")
460 then defaultHeader
460 then defaultHeader
461 else customHeader) ++
461 else customHeader) ++
462− csslink ++ asciiMathMLLink ++ includeHeader
462+ csslink ++ asciiMathML ++ includeHeader
463 let writerOptions = WriterOptions { writerStandalone = standalone &&
463 let writerOptions = WriterOptions { writerStandalone = standalone &&
464 (not strict),
464 (not strict),
465 writerHeader = header,
465 writerHeader = header,