From 2de227e59ca7a4d31d56841d3e2ce4f46e743af7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roberto=20Abdelkader=20Mart=C3=ADnez=20P=C3=A9rez?=
 <robertomartinezp@gmail.com>
Date: Wed, 11 Dec 2019 14:54:09 +0100
Subject: [PATCH] Set Sphinx default_role to allow single backslash to be
 render as 'option' role.

---
 docs/source/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index ded0ce9..d38108d 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -63,3 +63,5 @@ html_static_path = ['_static']
 
 # https://stackoverflow.com/a/56448499
 master_doc = 'index'
+
+default_role = 'option'