diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2025-01-24 17:55:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-24 17:55:47 +0100 |
| commit | 5ec0e1da84775a9eed81ee802c4594a37498c103 (patch) | |
| tree | 4f5ba38219d3a3a4aecfeca721d6ce0547f6435c | |
| parent | 819b00670cf255003d07e33e0efa0e22144b29ff (diff) | |
CI: fix documentation job (#2698)
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index 039359bb7..74ccbcd53 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -22,8 +22,8 @@ sys.path.append( "breathe/" ) extensions = [ 'sphinx.ext.intersphinx', 'breathe', - 'exhale', - 'myst_parser' + 'exhale' + # 'myst_parser' ] # Workaround for platforms where swaggerdoc is not available |