@@ -73,7 +73,7 @@ data Opt = Opt
73 , optTitlePrefix :: String -- ^ Optional prefix for HTML title
73 , optTitlePrefix :: String -- ^ Optional prefix for HTML title
74 , optNumberSections :: Bool -- ^ If @True@, number sections in LaTeX
74 , optNumberSections :: Bool -- ^ If @True@, number sections in LaTeX
75 , optIncremental :: Bool -- ^ If @True@, show lists incrementally in S5
75 , optIncremental :: Bool -- ^ If @True@, show lists incrementally in S5
76− , optSmartypants :: Bool -- ^ If @True@, use smart quotes, dashes, ...
76+ , optSmart :: Bool -- ^ If @True@, use smart quotes, dashes, ...
77 , optASCIIMathML :: Bool -- ^ If @True@, use ASCIIMathML in HTML or S5
77 , optASCIIMathML :: Bool -- ^ If @True@, use ASCIIMathML in HTML or S5
@@ -95,7 +95,7 @@ startOpt = Opt
95 , optTitlePrefix = ""
95 , optTitlePrefix = ""
96 , optNumberSections = False
96 , optNumberSections = False
97 , optIncremental = False
97 , optIncremental = False
98− , optSmartypants = False
98+ , optSmart = False
99 , optASCIIMathML = False
99 , optASCIIMathML = False
@@ -157,10 +157,10 @@ options =
157 (\opt -> return opt { optParseRaw = True }))
157 (\opt -> return opt { optParseRaw = True }))
158 "Parse untranslatable HTML codes and LaTeX environments as raw"
158 "Parse untranslatable HTML codes and LaTeX environments as raw"
160− , Option "S" ["smartypants"]
160+ , Option "S" ["smart"]
162− (\opt -> return opt { optSmartypants = True }))
162+ (\opt -> return opt { optSmart = True }))
163− "Use smartypants for html output"
163+ "Use smart quotes, dashes, and ellipses in HTML output"
165 , Option "m" ["asciimathml"]
165 , Option "m" ["asciimathml"]
@@ -255,7 +255,7 @@ main = do
255 , optTitlePrefix = titlePrefix
255 , optTitlePrefix = titlePrefix
256 , optNumberSections = numberSections
256 , optNumberSections = numberSections
257 , optIncremental = incremental
257 , optIncremental = incremental
258− , optSmartypants = smartypants
258+ , optSmart = smart
259 , optASCIIMathML = asciiMathML
259 , optASCIIMathML = asciiMathML
@@ -278,7 +278,7 @@ main = do
278 let writerOptions = WriterOptions { writerStandalone = standalone,
278 let writerOptions = WriterOptions { writerStandalone = standalone,
279 writerHeader = header,
279 writerHeader = header,
280 writerTitlePrefix = titlePrefix,
280 writerTitlePrefix = titlePrefix,
281− writerSmartypants = smartypants,
281+ writerSmart = smart,
282 writerTabStop = tabStop,
282 writerTabStop = tabStop,
283 writerS5 = writingS5,
283 writerS5 = writingS5,
284 writerIncremental = incremental,
284 writerIncremental = incremental,