scripts/titlegen.py
changeset 41 73fdafd843d9
parent 17 0b3b26cd1cea
child 42 6df2bf124af4
equal deleted inserted replaced
0:97d25f556000 1:782aae3fd3f6
    64                 next_page=ind[page][2]
    64                 next_page=ind[page][2]
    65                 if next_page:
    65                 if next_page:
    66                     next_str= ( ' \\ref '+next_page+' >>')
    66                     next_str= ( ' \\ref '+next_page+' >>')
    67                 else:
    67                 else:
    68                     next_str=''
    68                     next_str=''
    69                 fo.write('%s| \\ref toc "Home" |%s\n'%\
    69                 fo.write('%s| \\ref sec_toc "Home" |%s\n'%\
    70                              (prev_str,next_str))
    70                              (prev_str,next_str))
    71             elif gr[3]:
    71             elif gr[3]:
    72                 secs = [ x for x in toc]
    72                 secs = [ x for x in toc]
    73                 secs.sort()
    73                 secs.sort()
    74                 for num in secs:
    74                 for num in secs: