diff options
Diffstat (limited to 'sphinx/util/__init__.py')
| -rw-r--r-- | sphinx/util/__init__.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/util/__init__.py b/sphinx/util/__init__.py index a383ba5ae..7ac5c62f7 100644 --- a/sphinx/util/__init__.py +++ b/sphinx/util/__init__.py @@ -170,6 +170,7 @@ def copy_static_entry(source, targetdir, builder, context={}, builder, context, level=level+1, exclude_matchers=exclude_matchers) + _DEBUG_HEADER = '''\ # Sphinx version: %s # Python version: %s (%s) |