commit 09806760b3cd59186a24c3134dc1e8467d4acc0e
parent 32857019e6751b382822a182148fe6c24a849107
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Fri, 12 Aug 2022 13:33:16 +0200
cleanup
Diffstat:
1 file changed, 0 insertions(+), 18 deletions(-)
diff --git a/conf.py b/conf.py
@@ -83,27 +83,9 @@ html_css_files = [
html_logo = "_static/images/gnunet-blue.png"
-myst_enable_extensions = [
- "amsmath",
- "colon_fence",
- "deflist",
- "dollarmath",
- "fieldlist",
- "html_admonition",
- "html_image",
- "linkify",
- "replacements",
- "smartquotes",
- "strikethrough",
- "substitution",
- "tasklist",
-]
-
# Display to-do items in docs
todo_include_todos = True
-myst_heading_anchors = 3
-
primary_domain = "c"
highlight_language = "c"
