diff options
| author | Georg Brandl <georg@python.org> | 2013-09-16 04:33:02 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2013-09-16 04:33:02 +0200 |
| commit | 1ad262c5c86598dbc0607d912fc24b2e61253d4c (patch) | |
| tree | 0a88244f9630de3737892cdab2db7f0efa846a0d /sphinx/builders | |
| parent | 1d49d3107d739444de2b05033bfcb75e88333ad3 (diff) | |
| download | sphinx-1ad262c5c86598dbc0607d912fc24b2e61253d4c.tar.gz | |
Fix new html_extra_path option for singlehtml builder.
Diffstat (limited to 'sphinx/builders')
| -rw-r--r-- | sphinx/builders/html.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py index cd0200e4..e00b91c3 100644 --- a/sphinx/builders/html.py +++ b/sphinx/builders/html.py @@ -974,6 +974,7 @@ class SingleFileHTMLBuilder(StandaloneHTMLBuilder): self.copy_image_files() self.copy_download_files() self.copy_static_files() + self.copy_extra_files() self.write_buildinfo() self.dump_inventory() |