diff -r 1444b4bee64b -r 093dcebe5ecb src/eric7/QScintilla/Exporters/ExporterHTML.py --- a/src/eric7/QScintilla/Exporters/ExporterHTML.py Sun Dec 03 16:44:52 2023 +0100 +++ b/src/eric7/QScintilla/Exporters/ExporterHTML.py Sun Dec 03 19:46:34 2023 +0100 @@ -506,7 +506,7 @@ if "sphinx" in sys.modules: # Make sure any Sphinx polution of docutils has been removed. unloadKeys = [ - k for k in sys.modules.keys() if k.startswith(("docutils", "sphinx")) + k for k in sys.modules if k.startswith(("docutils", "sphinx")) ] for key in unloadKeys: sys.modules.pop(key)