From a84ed7f75efe4e4a1e992c70f96662002f5903df Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 17 Dec 2018 22:32:40 +0100
Subject: [PATCH] [doc][conf] Fix sphinx extension list
---
doc/conf.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/conf.py b/doc/conf.py
index f1c3bd6..3df2961 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -27,7 +27,7 @@ extensions = [
'sphinx.ext.viewcode',
'sphinx.ext.mathjax',
'matplotlib.sphinxext.plot_directive',
- 'sphinxcontrib.programoutput'
+ 'sphinxcontrib.programoutput',
'sphinxcontrib.httpdomain'
]
--
GitLab