changeset 44 | d0e9b52bda73 |
parent 41 | e54725be4df6 |
43:134b87b382f5 | 44:d0e9b52bda73 |
---|---|
45 global chapterno |
45 global chapterno |
46 # mainfolder='/home/hg/repos/sttp/' |
46 # mainfolder='/home/hg/repos/sttp/' |
47 for readline in open('/home/hg/repos/SEES-hacks/index.config','r').readlines(): |
47 for readline in open('/home/hg/repos/SEES-hacks/index.config','r').readlines(): |
48 chapterno+=1 |
48 chapterno+=1 |
49 filename=repo+readline |
49 filename=repo+readline |
50 print filename |
|
50 convert2xml(filename) |
51 convert2xml(filename) |
51 |
52 |
52 |
53 |
53 |
54 |
54 |
55 |