equal
deleted
inserted
replaced
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 |
39 try: |
39 try: |
40 publish_file(source_path=file_name, destination_path=xml_file,parser_name='restructuredtext', writer_name='xml') |
40 publish_file(source_path=file_name, destination_path=xml_file,parser_name='restructuredtext', writer_name='xml') |
41 except : |
41 except : |
42 pass |
42 pass |
43 def walk(repo): |
43 def walk(repo): |