From af73fc486e712db56e57d61b7c788f772313fa32 Mon Sep 17 00:00:00 2001 From: "Matthias C. M. Troffaes" Date: Thu, 22 Aug 2013 09:30:25 +0100 Subject: [PATCH] Actual implementation. --- sphinx/builders/html.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py index ca8a4acdf..cd0200e4b 100644 --- a/sphinx/builders/html.py +++ b/sphinx/builders/html.py @@ -480,6 +480,7 @@ class StandaloneHTMLBuilder(Builder): self.copy_image_files() self.copy_download_files() self.copy_static_files() + self.copy_extra_files() self.write_buildinfo() # dump the search index @@ -607,6 +608,17 @@ class StandaloneHTMLBuilder(Builder): icontarget) self.info('done') + def copy_extra_files(self): + # copy html_extra_path files + self.info(bold('copying extra files... '), nonl=True) + extraentries = [path.join(self.confdir, epath) + for epath in self.config.html_extra_path] + for entry in extraentries: + if not path.exists(entry): + self.warn('html_extra_path entry %r does not exist' % entry) + continue + copy_static_entry(entry, self.outdir, self) + def write_buildinfo(self): # write build info file fp = open(path.join(self.outdir, '.buildinfo'), 'w')