From: Vladimír Čunát <vladimir.cunat@nic.cz>
Date: Mon, 25 Sep 2017 08:29:16 +0000 (+0200)
Subject: doc: drop a flag deprecated since Sphinx 1.6
X-Git-Tag: v1.99.1-alpha~7^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b398ec3067c835f3bff277992d972b78cb55d412;p=thirdparty%2Fknot-resolver.git

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 7f801db35..211b0028d 100644
--- 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'