Enable smart punctuation

UniMath · Oct 9, 2024 · 0022f8a · 0022f8a
1 parent 448201a
commit 0022f8a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/book.toml b/book.toml
@@ -67,6 +67,8 @@ follow-web-links = false
 [output.html]
 default-theme = "light"
 preferred-dark-theme = "Ayu"
+# The following option is renamed to smart-punctuation in mdbook 0.4.38
+curly-quotes = true
 copy-fonts = true
 additional-css = [
   "website/css/Agda.css",