equal
deleted
inserted
replaced
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): |
42 global chapterno |
42 global chapterno |
43 # mainfolder='/home/hg/repos/sttp/' |
43 # mainfolder='/home/hg/repos/sttp/' |
44 for readline in open('index.config','r').readlines(): |
44 for readline in open('/home/hg/repos/SEES-hacks/SEESenv/scripts/index.config','r').readlines(): |
45 chapterno+=1 |
45 chapterno+=1 |
46 filename=repo+readline |
46 filename=repo+readline |
47 convert2xml(filename) |
47 convert2xml(filename) |
48 |
48 |
49 |
49 |