From 15b3cf44ec389f5ae5419313cbdfa156c579b8c2 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 23 May 2025 11:46:48 +0530 Subject: [PATCH] Make mypy happy --- docs/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index f8162b79e..eb13124b5 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -643,7 +643,7 @@ def monkeypatch_man_writer() -> None: ''' Monkeypatch the docutils man translator to be nicer ''' - from docutils.nodes import Element + from docutils.nodes import Element, figure from docutils.writers.manpage import Table, Translator from sphinx.writers.manpage import ManualPageTranslator @@ -692,7 +692,7 @@ def monkeypatch_man_writer() -> None: def depart_image(self: ManualPageTranslator, node: Element) -> None: pass - def depart_figure(self: ManualPageTranslator, node: Element) -> None: + def depart_figure(self: ManualPageTranslator, node: figure) -> None: self.body.append(' (images not supported)\n') Translator.depart_figure(self, node)