diff options
| author | Adam Turner <9087854+aa-turner@users.noreply.github.com> | 2023-01-01 20:43:59 +0000 |
|---|---|---|
| committer | Adam Turner <9087854+aa-turner@users.noreply.github.com> | 2023-01-01 20:48:39 +0000 |
| commit | 14a9289d780240bbce78ad3640e8e1b1b12df43f (patch) | |
| tree | fd753f5b0f8c7053923b78c8fef2b90b60f9c7fa /sphinx/builders/dirhtml.py | |
| parent | 26f79b0d2dd88b353ac65623897bdfbe8bc07cab (diff) | |
| download | sphinx-git-14a9289d780240bbce78ad3640e8e1b1b12df43f.tar.gz | |
Use PEP 604 types
Diffstat (limited to 'sphinx/builders/dirhtml.py')
| -rw-r--r-- | sphinx/builders/dirhtml.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/builders/dirhtml.py b/sphinx/builders/dirhtml.py index f1bd63189..d1c10dcef 100644 --- a/sphinx/builders/dirhtml.py +++ b/sphinx/builders/dirhtml.py @@ -3,7 +3,7 @@ from __future__ import annotations from os import path -from typing import Any, Optional +from typing import Any from sphinx.application import Sphinx from sphinx.builders.html import StandaloneHTMLBuilder @@ -21,7 +21,7 @@ class DirectoryHTMLBuilder(StandaloneHTMLBuilder): """ name = 'dirhtml' - def get_target_uri(self, docname: str, typ: Optional[str] = None) -> str: + def get_target_uri(self, docname: str, typ: str | None = None) -> str: if docname == 'index': return '' if docname.endswith(SEP + 'index'): |