From a230e553a9065cfdd1942d99fc62d59261c1fa42 Mon Sep 17 00:00:00 2001
From: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Date: Mon, 25 Mar 2019 10:27:01 +0100
Subject: [PATCH] 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>
---
 doc/source/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index de2d5c2..2832a16 100644
--- 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 ----------------------------------------------