fix slash

dumpwiki.py

@@ -48,8 +48,10 @@ with open('login.txt', 'r') as login:  # read login user & pwd
 with open('templates/title.html') as title_html:
     title_template = Template(title_html.read())
 
+SLASH = "\u2044"
+
 def filenameforpage(p):
-    f=p.name.replace(' ','_') + '.html'
+    f=p.name.replace(' ','_').replace('/', SLASH) + '.html'
     return f
 
 title=site.Categories['Title']