diff options
author | jfbu <jfbu@free.fr> | 2019-04-17 11:19:27 +0300 |
---|---|---|
committer | jfbu <jfbu@free.fr> | 2019-04-17 11:19:27 +0300 |
commit | 5371ef9c0370697864ca68ccad386a9624e1991e (patch) | |
tree | d8af8192b4610b8ec0f8e3be11dfd8f9ca4bf491 /sphinx/cmd | |
parent | 6009140f22650b881078a1944042cb4ace109df7 (diff) |
Fix capitalization to match other messages
Diffstat (limited to 'sphinx/cmd')
-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 6fd954296..85cb7d0eb 100644 --- a/sphinx/cmd/build.py +++ b/sphinx/cmd/build.py @@ -45,7 +45,7 @@ def handle_exception(app, args, exception, stderr=sys.stderr): traceback.print_exc(None, stderr) print(file=stderr) if isinstance(exception, KeyboardInterrupt): - print(__('interrupted!'), file=stderr) + print(__('Interrupted!'), file=stderr) elif isinstance(exception, SystemMessage): print(red(__('reST markup error:')), file=stderr) print(terminal_safe(exception.args[0]), file=stderr) |