diff -r 231572ecfb59 -r c9c9819cd5e5 SEESenv/scripts/rst2docbook.py
--- a/SEESenv/scripts/rst2docbook.py	Sat Feb 13 13:30:22 2010 +0530
+++ b/SEESenv/scripts/rst2docbook.py	Sat Feb 13 13:32:38 2010 +0530
@@ -95,8 +95,8 @@
 if __name__=='__main__':
 	for name in names:
 		#print name        
-		#xml_string=open(name,'r').read()
-		xml_string=open('ch9Using_Linux_Tools.xml','r').read()
+		xml_string=open(name,'r').read()
+		#xml_string=open('ch9Using_Linux_Tools.xml','r').read()
 		xml_string=convert2docbook(xml_string)
 		docbook_file=name.split('.')[0]+'.docbook'
 		f=open(docbook_file,'w')