From 8b85355a22b28449c65998fbded8796a0f57831b Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Mon, 16 Sep 2013 04:33:02 +0200
Subject: [PATCH] Fix new html_extra_path option for singlehtml builder.

---
 sphinx/builders/html.py  | 1 +
 tests/test_build_html.py | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py
index cd0200e4b..e00b91c36 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()
 
diff --git a/tests/test_build_html.py b/tests/test_build_html.py
index 2a08ee92d..3813ed04d 100644
--- a/tests/test_build_html.py
+++ b/tests/test_build_html.py
@@ -363,4 +363,3 @@ def test_html_with_globaltoc_and_hidden_toctree(app):
             '\n   :hidden:'
             '\n')
     app.builder.build_all()
-