@@ -167,6 +167,7 @@ def merge_settings_file(fpath, D, notes):
167167master_doc = os .path .splitext (ospsplit (masterdocabspath )[1 ])[0 ]
168168todo_include_todos = False
169169exclude_patterns = []
170+ # Keep in sync with Defaults.cfg:
170171extensions_to_be_loaded = [
171172 'sphinx.ext.autodoc' ,
172173 'sphinx.ext.coverage' ,
@@ -176,6 +177,8 @@ def merge_settings_file(fpath, D, notes):
176177 'sphinx.ext.intersphinx' ,
177178 'sphinx.ext.mathjax' ,
178179 'sphinx.ext.todo' ,
180+ 'sphinx_copybutton' ,
181+ 'sphinx_tabs.tabs' ,
179182 'sphinx_typo3_theme' ,
180183 'sphinxcontrib.gitloginfo' ,
181184 'sphinxcontrib.phpdomain' ,
@@ -185,10 +188,12 @@ def merge_settings_file(fpath, D, notes):
185188 'sphinxcontrib.t3tablerows' ,
186189 'sphinxcontrib.t3targets' ,
187190 'sphinxcontrib.youtube' ,
188- 'sphinx_tabs.tabs' ,
189191]
190192
191193# Legal extensions will be loaded if requested in Settings.cfg or Overrides.cfg
194+ # Actually, this is not activated at the moment. Any (available) extension may
195+ # be requested in Settings.cfg
196+
192197legal_extensions = [
193198 # to be extended ...
194199]
@@ -315,7 +320,8 @@ def updateModuleGlobals(GLOBALS, US):
315320
316321 for k , e in US .get ('extensions' , {}).items ():
317322 if not e in GLOBALS ['extensions' ]:
318- if e in legal_extensions :
323+ # DISABLED: check for legal_extensions
324+ if True or e in legal_extensions :
319325 GLOBALS ['extensions' ].append (e )
320326
321327 for k , v in US .get ('extlinks' , {}).items ():
0 commit comments