doc: remove span tags from within pre sections
authorRamprasad Venkataraman <ramv@illinois.edu>
Fri, 12 Oct 2012 20:07:00 +0000 (15:07 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Fri, 12 Oct 2012 20:31:08 +0000 (15:31 -0500)
doc/markupSanitizer.py

index bc9ed8825a34b1995a32777e69393f653611dbbc..205339e82819d5eec511d0fda858b6191973fcb0 100755 (executable)
@@ -23,10 +23,12 @@ for d in soup('div','alltt'):
     d.wrap( soup.new_tag('pre') )
     d.unwrap()
 
-# Remove br tags required within pre sections
+# Remove br and span tags from within pre sections
 for p in soup('pre'):
     for b in p('br'):
         b.extract()
+    for s in p('span'):
+        s.unwrap()
 
 # Extract the navigation bar
 navmenu = soup.find('div', 'navigation')