diff options
Diffstat (limited to 'sphinx/util/__init__.py')
| -rw-r--r-- | sphinx/util/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/__init__.py b/sphinx/util/__init__.py index 1b483f0f7..e23539fdc 100644 --- a/sphinx/util/__init__.py +++ b/sphinx/util/__init__.py @@ -207,7 +207,7 @@ def save_traceback(app): '# %s' % strip_colors(force_decode(s, 'utf-8')).strip() for s in app.messagelog) os.write(fd, (_DEBUG_HEADER % - (sphinx.__version__, + (sphinx.__display_version__, platform.python_version(), platform.python_implementation(), docutils.__version__, docutils.__version_details__, |