|
|
@ -36,7 +36,6 @@ with open(imgsjson_fn, 'r') as imgsjson_file:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
SLASH = "\u2044"
|
|
|
|
SLASH = "\u2044"
|
|
|
|
HYPHEN = "\u2010"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def filenameforpage(p):
|
|
|
|
def filenameforpage(p):
|
|
|
@ -47,7 +46,7 @@ def filenameforlink(href):
|
|
|
|
href = urlunquote(href)
|
|
|
|
href = urlunquote(href)
|
|
|
|
if href.startswith("/sandbox/itchwiki/index.php/"):
|
|
|
|
if href.startswith("/sandbox/itchwiki/index.php/"):
|
|
|
|
href = href[len("/sandbox/itchwiki/index.php/"):]
|
|
|
|
href = href[len("/sandbox/itchwiki/index.php/"):]
|
|
|
|
href = href.replace(' ','_').replace('/', SLASH).replace('‐', HYPHEN) + '.html'
|
|
|
|
href = href.replace(' ','_').replace('/', SLASH) + '.html'
|
|
|
|
href = urlquote(href)
|
|
|
|
href = urlquote(href)
|
|
|
|
return href
|
|
|
|
return href
|
|
|
|
|
|
|
|
|
|
|
|