equal
deleted
inserted
replaced
34 |
34 |
35 name='ch'+str(chapterno)+name.split('.')[0] |
35 name='ch'+str(chapterno)+name.split('.')[0] |
36 xml_file=tmp_folder+name+'.xml' |
36 xml_file=tmp_folder+name+'.xml' |
37 print xml_file |
37 print xml_file |
38 # a=open(xml_file,'w') |
38 # a=open(xml_file,'w') |
39 publish_file(source_path=file_name, destination_path=xml_file,parser_name='restructuredtext', writer_name='xml') |
39 try: |
40 |
40 publish_file(source_path=file_name, destination_path=xml_file,parser_name='restructuredtext', writer_name='xml') |
|
41 except : |
|
42 pass |
41 def walk(repo): |
43 def walk(repo): |
42 global chapterno |
44 global chapterno |
43 # mainfolder='/home/hg/repos/sttp/' |
45 # mainfolder='/home/hg/repos/sttp/' |
44 for readline in open('/home/hg/repos/SEES-hacks/SEESenv/scripts/index.config','r').readlines(): |
46 for readline in open('/home/hg/repos/SEES-hacks/index.config','r').readlines(): |
45 chapterno+=1 |
47 chapterno+=1 |
46 filename=repo+readline |
48 filename=repo+readline |
47 convert2xml(filename) |
49 convert2xml(filename) |
48 |
50 |
49 |
51 |