diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-01-12 02:43:18 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-01-12 02:43:18 +0900 |
commit | bb8dcb5ceea378368084567354f70fffcd5d5f42 (patch) | |
tree | 41e3e2ae39289e7aef8fb6dbe2cc8774cdaf09f3 /sphinx/builders/websupport.py | |
parent | 64114ae777b7955df391f8492e4ac4a1e6572519 (diff) | |
download | sphinx-git-bb8dcb5ceea378368084567354f70fffcd5d5f42.tar.gz |
Fix code styles
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) |