blob: 4eb7b855b58127da753cb41b7474838d58f27e7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
import os
redirects = []
def create_redirect(dst):
tpl = '<html><head><meta http-equiv="refresh" content="0; url={0}"><script>window.location.replace("{0}")</script></head></html>'
return tpl.format(dst)
def create_redirects(app, docname):
if not app.builder.name == 'html':
return
for src, dst in redirects:
path = os.path.join(app.outdir, '{0}.html'.format(src))
url = '{0}.html'.format(dst)
with open(path, 'w') as f:
f.write(create_redirect(url))
def setup(app):
app.connect('build-finished', create_redirects)
|
