equal
deleted
inserted
replaced
31 name=file_name.split('/')[-1] |
31 name=file_name.split('/')[-1] |
32 |
32 |
33 xml_file_temp='/'.join(file_name.split('/')[:-2]) |
33 xml_file_temp='/'.join(file_name.split('/')[:-2]) |
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 publish_file(source_path=file_name, destination_path=xml_file,parser_name='restructuredtext', writer_name='xml') |
40 |
40 |
41 def walk(repo): |
41 def walk(repo): |