From 4fab0424ff64366d2f22fd507c521857aa677182 Mon Sep 17 00:00:00 2001 From: Marwan Abbas <67271180+marwaneltoukhy@users.noreply.github.com> Date: Sun, 12 Nov 2023 14:37:49 +0200 Subject: [PATCH] Update conf.py --- docs/source/conf.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 42cecf3a1..e856b503c 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -38,10 +38,9 @@ # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ - "sphinx.ext.todo", - "sphinx.ext.autosectionlabel", - "image_links", # CUSTOM - "myst_parser", + 'sphinxcontrib.wavedrom', + 'sphinx.ext.mathjax', + 'sphinx.ext.todo' ] source_suffix = {