From 2e89f2cabfc8d61b07beb199acad1aad10d91e97 Mon Sep 17 00:00:00 2001 From: Cristian Maureira-Fredes Date: Sun, 10 Jan 2021 21:57:59 +0100 Subject: [PATCH] ci: fix readthedocs extensions issue Closes #1200 --- conf.py | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/conf.py b/conf.py index 8ecc6c9d56..8956b12c0a 100644 --- a/conf.py +++ b/conf.py @@ -69,10 +69,16 @@ _stdauthor, 'manual'), ] -extensions.extend([ - 'sphinx_tabs.tabs', - 'sphinxemoji.sphinxemoji', -]) +try: + extensions.extend([ + 'sphinx_tabs.tabs', + 'sphinxemoji.sphinxemoji', + ]) +except NameError: + extensions = [ + 'sphinx_tabs.tabs', + 'sphinxemoji.sphinxemoji', + ] def setup(app):