IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5624 from jdufresne/fix-ignore

Browse Source 
Correct type annotation to remove 'type: ignore' comment
This commit is contained in:
Takeshi KOMIYA
2018-11-13 21:50:08 +09:00
committed by GitHub
parent 2f5b79b943 1c9c9df68d
commit fddeab4c6d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/testing/util.py
View File

@@ -108,7 +108,7 @@ class SphinxTestApp(application.Sphinx):
def __init__(self, buildername='html', srcdir=None,
freshenv=False, confoverrides=None, status=None, warning=None,
tags=None, docutilsconf=None):
# type: (unicode, path, bool, Dict, IO, IO, unicode, unicode) -> None
# type: (unicode, path, bool, Dict, IO, IO, List[unicode], unicode) -> None
if docutilsconf is not None:
(srcdir / 'docutils.conf').write_text(docutilsconf)
@@ -137,7 +137,7 @@ class SphinxTestApp(application.Sphinx):
if v.startswith('visit_'))
try:
super(SphinxTestApp, self).__init__(srcdir, confdir, outdir, doctreedir, # type: ignore # NOQA
super(SphinxTestApp, self).__init__(srcdir, confdir, outdir, doctreedir,
buildername, confoverrides, status, warning,
freshenv, warningiserror, tags)
except Exception: