vis

commit 74575fcedb03fc2d09d03fd43f6b7fac5903035b
parent 4d6ce8c48fe525db75af17fb52a7cd4b9563d126
Author: Marc André Tanner <mat@brain-dump.org>
Date:   Wed, 29 Jul 2020 11:17:51 +0200

doc: use c as default sphinx role

This might fix the documentation build issue on readthedocs.org.

Diffstat:
M
doc/conf.py
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/conf.py b/doc/conf.py
@@ -92,7 +92,7 @@ highlight_language = 'c'
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = False
 
-default_role = "any"
+default_role = "c"
 
 # -- Options for HTML output ----------------------------------------------