diff options
author | tk0miya <i.tkomiya@gmail.com> | 2014-09-28 21:28:45 +0900 |
---|---|---|
committer | tk0miya <i.tkomiya@gmail.com> | 2014-09-28 21:28:45 +0900 |
commit | 0853176305d33e577f6522ae31faeda72711cbd9 (patch) | |
tree | 74031a555c9192232c1187ffe71c9a83ac1376c2 /sphinx/builders/websupport.py | |
parent | f746a45dc93f27a91a238e0b0087b0f5d9d6df63 (diff) | |
parent | 6358d62718f16f5739edbb1697bf44d627f28dba (diff) | |
download | sphinx-git-0853176305d33e577f6522ae31faeda72711cbd9.tar.gz |
Merge with default
Diffstat (limited to 'sphinx/builders/websupport.py')
-rw-r--r-- | sphinx/builders/websupport.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index a3d311bcc..619ef6fe0 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -58,6 +58,7 @@ class WebSupportBuilder(PickleHTMLBuilder): doctree.settings = self.docsettings self.secnumbers = self.env.toc_secnumbers.get(docname, {}) + self.fignumbers = self.env.toc_fignumbers.get(docname, {}) self.imgpath = '/' + posixpath.join(self.virtual_staticdir, self.imagedir) self.dlpath = '/' + posixpath.join(self.virtual_staticdir, '_downloads') self.current_docname = docname |