diff --git a/src/Tools/offlinedoc/downloadwiki.py b/src/Tools/offlinedoc/downloadwiki.py index c8e5f60fa..0c97387c7 100755 --- a/src/Tools/offlinedoc/downloadwiki.py +++ b/src/Tools/offlinedoc/downloadwiki.py @@ -183,15 +183,15 @@ def getimagelinks(html): def cleanhtml(html): "cleans given html code from dirty script stuff" html = html.replace('\n','Wlinebreak') # removing linebreaks for regex processing - html = re.compile('(.*)]+column-content+[^>]+>').sub('',html) # stripping before content - html = re.compile(']+column-one+[^>]+>.*').sub('',html) # stripping after content + html = re.compile('(.*)
]+>').sub('',html) # stripping before content + html = re.compile('
]*>.*?
').sub('',html) # removing nav div html = re.compile('

]*>.*?

').sub('',html) # removing print subtitle html = re.compile('Retrieved from').sub('Online version:',html) # changing online title - html = re.compile('
').sub('',html) # removing catlinks html = re.compile('
').sub('',html) # removing nav stuff html = re.compile('
" header += "" header += "" + header += "

" + title + "

" footer = "" html = header+html+footer filename = local(page.replace("/","-"))