diff options
| author | Jean-François B <2589111+jfbu@users.noreply.github.com> | 2022-08-06 18:31:14 +0200 |
|---|---|---|
| committer | Jean-François B <2589111+jfbu@users.noreply.github.com> | 2022-08-06 18:31:14 +0200 |
| commit | 5c82449eca73ef448eb7fdfbcc061cb91d70c18c (patch) | |
| tree | c4a8394dd9105ba73e2df12c3c5e26cbae501d54 /sphinx/io.py | |
| parent | 6f530ca3ea305a4c4e077a237fc7196e959a4bb4 (diff) | |
| parent | 59056aa7816ebae81aa6842290aa7a6ece14d1bd (diff) | |
| download | sphinx-git-5c82449eca73ef448eb7fdfbcc061cb91d70c18c.tar.gz | |
Merge branch '5.x'
Diffstat (limited to 'sphinx/io.py')
| -rw-r--r-- | sphinx/io.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/io.py b/sphinx/io.py index 5be98a385..928f0749f 100644 --- a/sphinx/io.py +++ b/sphinx/io.py @@ -181,7 +181,7 @@ def read_doc(app: "Sphinx", env: BuildEnvironment, filename: str) -> nodes.docum writer=SphinxDummyWriter(), source_class=SphinxFileInput, destination=NullOutput()) - pub.process_programmatic_settings(None, env.settings, None) + pub.process_programmatic_settings(None, env.settings, None) # type: ignore[arg-type] pub.set_source(source_path=filename) pub.publish() return pub.document |