web/views/wdoc.py
changeset 10669 155c29e0ed1c
parent 10666 7f6b5f023884
child 10907 9ae707db5265
equal deleted inserted replaced
10668:4fb62d791073 10669:155c29e0ed1c
    71         node, idx = None, None
    71         node, idx = None, None
    72     return node, idx
    72     return node, idx
    73 
    73 
    74 def build_toc(config):
    74 def build_toc(config):
    75     alltocfiles = reversed(tuple(config.locate_all_files('toc.xml')))
    75     alltocfiles = reversed(tuple(config.locate_all_files('toc.xml')))
    76     maintoc = parse(alltocfiles.next()).getroot()
    76     maintoc = parse(next(alltocfiles)).getroot()
    77     maintoc.parent = None
    77     maintoc.parent = None
    78     index = {}
    78     index = {}
    79     build_toc_index(maintoc, index)
    79     build_toc_index(maintoc, index)
    80     # insert component documentation into the tree according to their toc.xml
    80     # insert component documentation into the tree according to their toc.xml
    81     # file
    81     # file