From c50eb7c85f38d1fd0059741e687fc718bb036aed Mon Sep 17 00:00:00 2001
From: David Adam <zanchey@ucc.gu.uwa.edu.au>
Date: Tue, 2 Apr 2019 23:26:24 +0800
Subject: [PATCH] docs: import SphinxWarning in configuration

Fixes a NameError when reporting problems.

[ci skip]
---
 sphinx_doc_src/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sphinx_doc_src/conf.py b/sphinx_doc_src/conf.py
index 22fe26665..808241b93 100644
--- a/sphinx_doc_src/conf.py
+++ b/sphinx_doc_src/conf.py
@@ -9,6 +9,7 @@
 import glob
 import os.path
 import pygments
+from sphinx.errors import SphinxError, SphinxWarning
 
 # -- Helper functions --------------------------------------------------------