doc: drop a flag deprecated since Sphinx 1.6

It's true by default anyway.

diff --git a/doc/conf.py b/doc/conf.py
index 7f801db35c1e635557830e7da4c732fe9876d604..211b0028d57a6dbedda39c4c48a3eb56d25cf901 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -42,10 +42,6 @@ primary_domain = 'c'
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
-# If true, SmartyPants will be used to convert quotes and dashes to
-# typographically correct entities.
-html_use_smartypants = True
-
 # Output file base name for HTML help builder.
 htmlhelp_basename = 'apidoc'