add default role to doc conf.py

Change-Id: If67755186150a3a7a0432caca9d2bdf945ae35fe Reviewed-on: https://forge.frm2.tum.de/review/20216 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
2019-03-25 10:27:01 +01:00 · 2019-03-25 10:27:01 +01:00 · a230e553a9
commit a230e553a9
parent b4eb9fae99
1 changed files with 1 additions and 0 deletions
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@ -89,6 +89,7 @@ pygments_style = 'sphinx'
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = True

+default_role = 'any'

 # -- Options for HTML output ----------------------------------------------