From b59cd8f9ced7d47da3c61ded867cafefe9fea1c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Wed, 20 Jul 2016 22:17:46 +0200
Subject: [PATCH] conf.py: Fix syntax error in sphinx_rtd_theme option

---
 conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf.py b/conf.py
index 128fa3a7a..a2ee5c67a 100644
--- a/conf.py
+++ b/conf.py
@@ -56,7 +56,7 @@ if not on_rtd:  # only import and set the theme if we're building docs locally
 
 # Theme options
 html_theme_options = {
-  "collapse_navigation": "True",
+  "collapse_navigation": True,
 }
 
 # Output file base name for HTML help builder