doc: remove useless arabic spans from html
authorRamprasad Venkataraman <ramv@illinois.edu>
Fri, 12 Oct 2012 21:00:56 +0000 (16:00 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Fri, 12 Oct 2012 21:00:56 +0000 (16:00 -0500)
doc/markupSanitizer.py

index 205339e82819d5eec511d0fda858b6191973fcb0..f206cab9eee3bdcec0ee54b242df1256a16079a1 100755 (executable)
@@ -30,6 +30,10 @@ for p in soup('pre'):
     for s in p('span'):
         s.unwrap()
 
+# Remove all useless class 'arabic' spans
+for s in soup('span','arabic'):
+    s.unwrap()
+
 # Extract the navigation bar
 navmenu = soup.find('div', 'navigation')
 if navmenu: