Make "numbered" toctree attribute optional.

This commit is contained in:
Georg Brandl 2009-02-24 21:05:50 +01:00
parent 9ed275c868
commit d31f68be58

View File

@ -837,7 +837,7 @@ class BuildEnvironment:
file relations from it."""
if toctreenode['glob']:
self.glob_toctrees.add(docname)
if toctreenode['numbered']:
if toctreenode.get('numbered'):
self.numbered_toctrees.add(docname)
includefiles = toctreenode['includefiles']
for includefile in includefiles: