diff options
Diffstat (limited to 'sphinx/cmd/build.py')
| -rw-r--r-- | sphinx/cmd/build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/cmd/build.py b/sphinx/cmd/build.py index fe167413a..8b815ef28 100644 --- a/sphinx/cmd/build.py +++ b/sphinx/cmd/build.py @@ -304,4 +304,4 @@ def main(argv=sys.argv[1:]): # type: ignore if __name__ == '__main__': - sys.exit(main(sys.argv[1:])) # type: ignore + sys.exit(main(sys.argv[1:])) |