diff options
Diffstat (limited to 'sphinx/builders/websupport.py')
| -rw-r--r-- | sphinx/builders/websupport.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index 1154b3419..2ed37a697 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -141,7 +141,7 @@ class WebSupportBuilder(PickleHTMLBuilder): # "show source" link if ctx.get('sourcename'): source_name = path.join(self.staticdir, - '_sources', os_path(ctx['sourcename'])) + '_sources', os_path(ctx['sourcename'])) ensuredir(path.dirname(source_name)) copyfile(self.env.doc2path(pagename), source_name) |