|
@@ -148,7 +148,9 @@ html_last_updated_fmt = '%Y-%m-%d'
|
|
|
|
|
|
|
|
# If true, SmartyPants will be used to convert quotes and dashes to
|
|
# If true, SmartyPants will be used to convert quotes and dashes to
|
|
|
# typographically correct entities.
|
|
# typographically correct entities.
|
|
|
-#html_use_smartypants = True
|
|
|
|
|
|
|
+#
|
|
|
|
|
+# This is disabled to avoid mangling --options-that-appear-in-texts.
|
|
|
|
|
+html_use_smartypants = False
|
|
|
|
|
|
|
|
# Custom sidebar templates, maps document names to template names.
|
|
# Custom sidebar templates, maps document names to template names.
|
|
|
html_sidebars = {
|
|
html_sidebars = {
|
TW