# HG changeset patch
# User amit@thunder
# Date 1266048158 -19800
# Node ID c9c9819cd5e5802d992d63163e62c16998dd46cf
# Parent  231572ecfb59910776dbf8de622b8abc2f6e9350
tags added

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')