doc: add type hints to Python sources

Signed-off-by: Benjamin Gilbert <[email protected]>

Author: bgilbert

.pre-commit-config.yaml

@@ -59,7 +59,6 @@ repos:
       - id: mypy
         name: Check Python types
         additional_dependencies: [flask, openslide-bin, pillow, types-setuptools]
-        exclude: "^doc/.*$"
 
   - repo: https://github.com/rstcheck/rstcheck
     rev: v6.2.4

doc/jekyll_fix.py

@@ -27,6 +27,7 @@
 
 import os
 
+from sphinx.application import Sphinx
 from sphinx.util import logging
 from sphinx.util.console import bold
 
@@ -41,7 +42,7 @@
 REWRITE_EXTENSIONS = {'.html', '.js'}
 
 
-def remove_path_underscores(app, exception):
+def remove_path_underscores(app: Sphinx, exception: Exception | None) -> None:
     if exception:
         return
     # Get logger
@@ -82,5 +83,5 @@ def remove_path_underscores(app, exception):
     logger.info('done')
 
 
-def setup(app):
+def setup(app: Sphinx) -> None:
     app.connect('build-finished', remove_path_underscores)