commit 0d1f35d510c6ceee5bdd51b102fd6b371dbca4a2 parent 12fa9a7a2e9aa69a205fce19e084b3afd98f40aa Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Mon, 1 Aug 2022 21:28:56 +0200 move from wbl Diffstat:
| M | conf.py | | | 19 | +++++++++++++++++++ |
1 file changed, 19 insertions(+), 0 deletions(-)
diff --git a/conf.py b/conf.py @@ -93,5 +93,24 @@ myst_enable_extensions = [ "tasklist", ] +# Display to-do items in docs +todo_include_todos = True + myst_heading_anchors = 3 +primary_domain = "c" + +highlight_language = "c" + +rst_prolog = f""" +.. role:: c(code) + :language: c + +.. role:: bolditalic + :class: bolditalic +""" + +rst_epilog = """ +""" + +