IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Actual implementation.

Browse Source
This commit is contained in:
Matthias C. M. Troffaes 2013-08-22 09:30:25 +01:00
parent e20c82a277
commit af73fc486e
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
sphinx/builders/html.py
View File

@ -480,6 +480,7 @@ class StandaloneHTMLBuilder(Builder):
self.copy_image_files() self.copy_image_files()
self.copy_download_files() self.copy_download_files()
self.copy_static_files() self.copy_static_files()
self.copy_extra_files()
self.write_buildinfo() self.write_buildinfo()
# dump the search index # dump the search index
@ -607,6 +608,17 @@ class StandaloneHTMLBuilder(Builder):
icontarget) icontarget)
self.info('done') 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): def write_buildinfo(self):
# write build info file # write build info file
fp = open(path.join(self.outdir, '.buildinfo'), 'w') fp = open(path.join(self.outdir, '.buildinfo'), 'w')