summaryrefslogtreecommitdiff
path: root/sphinx/application.py
diff options
context:
space:
mode:
Diffstat (limited to 'sphinx/application.py')
-rw-r--r--sphinx/application.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/application.py b/sphinx/application.py
index fe7839529..0afbca78e 100644
--- a/sphinx/application.py
+++ b/sphinx/application.py
@@ -940,7 +940,7 @@ class Sphinx:
"""
self.registry.add_post_transform(transform)
- def add_js_file(self, filename: str, priority: int = 500,
+ def add_js_file(self, filename: Optional[str], priority: int = 500,
loading_method: Optional[str] = None, **kwargs: Any) -> None:
"""Register a JavaScript file to include in the HTML output.