diff --git a/doc/make.py b/doc/make.py index 937b2638fb098..9db4ea406bc1f 100755 --- a/doc/make.py +++ b/doc/make.py @@ -159,10 +159,10 @@ def _get_page_title(self, page): Open the rst file `page` and extract its title. """ fname = os.path.join(SOURCE_PATH, f"{page}.rst") - option_parser = docutils.frontend.OptionParser( - components=(docutils.parsers.rst.Parser,) + doc = docutils.utils.new_document( + "", + docutils.frontend.get_default_settings(docutils.parsers.rst.Parser), ) - doc = docutils.utils.new_document("", option_parser.get_default_values()) with open(fname, encoding="utf-8") as f: data = f.read()