8 def sec_inc(section, lev):
9 while len(section)<lev:
26 for l in open("toc.txt").readlines():
28 if len(sl)==2 and len(sl[0])>0:
30 section=sec_inc(section,lev)
31 t_sec=copy.copy(section)
33 print format_sec(t_sec),t_link
34 ind[t_link]=[t_sec,'','']
36 ind[t_link][1]=prev_page
38 ind[prev_page][2]=t_link
40 toc[format_sec(t_sec)]=t_link
42 for doxfile in os.listdir('.'):
43 if doxfile[-4:]=='.dox':
44 print 'Generate ',doxfile
46 fo=open(os.path.join("gen-dox",doxfile),"w")
47 for l in open(doxfile).readlines():
48 gr = re.match(r"(^[[]PAGE[]].*[[]PAGE[]])?(^[[]SEC[]].*[[]SEC[]])?(^[[]TRAILER[]])?(^[[]TOC[]])?(.*)$", l).groups()
51 fo.write("\page %s %s%s\n"%(page,
52 format_sec(ind[page][0]),gr[4]))
55 fo.write("\section %s %s%s\n"%(sec,
56 format_sec(ind[sec][0]),gr[4]))
58 prev_page=ind[page][1]
60 prev_str= ( '\\ref '+prev_page )
63 next_page=ind[page][2]
65 next_str= ( '\\ref '+next_page )
68 fo.write('<< %s | \\ref toc "Home" | %s >>\n'%\
71 secs = [ x for x in toc]
74 fo.write("%s - \\ref %s\n"%(' '*(len(num)-2),toc[num]))