@@ -214,6 +214,9 @@ unsmartify opts ('\8211':xs)
214unsmartify opts ('\8212':xs)
214unsmartify opts ('\8212':xs)
215 | isEnabled Ext_old_dashes opts = "--" ++ unsmartify opts xs
215 | isEnabled Ext_old_dashes opts = "--" ++ unsmartify opts xs
216 | otherwise = "---" ++ unsmartify opts xs
216 | otherwise = "---" ++ unsmartify opts xs
217+unsmartify opts ('\8220':xs) = '"' : unsmartify opts xs
218+unsmartify opts ('\8221':xs) = '"' : unsmartify opts xs
219+unsmartify opts ('\8216':xs) = '\'' : unsmartify opts xs
217unsmartify opts (x:xs) = x : unsmartify opts xs
220unsmartify opts (x:xs) = x : unsmartify opts xs
218unsmartify _ [] = []
221unsmartify _ [] = []