Use permalinks

This commit is contained in:
Unrud 2020-02-27 14:31:53 +01:00
parent 802b3f719a
commit 06f0815d79
3 changed files with 6 additions and 3 deletions

View file

@ -124,9 +124,9 @@ def make_index_html(branch):
return """\
<!DOCTYPE html>
<html lang="en">
<meta http-equiv="Refresh" content="0; url=%s.html">
<meta http-equiv="Refresh" content="0; url=%s">
<title>Redirect</title>
<p>Please follow <a href="%s.html">this link</a>.</p>
<p>Please follow <a href="%s">this link</a>.</p>
""" % (branch, branch)