equal
deleted
inserted
replaced
93 |
93 |
94 |
94 |
95 if __name__=='__main__': |
95 if __name__=='__main__': |
96 for name in names: |
96 for name in names: |
97 #print name |
97 #print name |
98 #xml_string=open(name,'r').read() |
98 xml_string=open(name,'r').read() |
99 xml_string=open('ch9Using_Linux_Tools.xml','r').read() |
99 #xml_string=open('ch9Using_Linux_Tools.xml','r').read() |
100 xml_string=convert2docbook(xml_string) |
100 xml_string=convert2docbook(xml_string) |
101 docbook_file=name.split('.')[0]+'.docbook' |
101 docbook_file=name.split('.')[0]+'.docbook' |
102 f=open(docbook_file,'w') |
102 f=open(docbook_file,'w') |
103 try: |
103 try: |
104 f.write(xml_string) |
104 f.write(xml_string) |