diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/make_redirects | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/make_redirects b/bin/make_redirects index ea8ea3b..4cd4e05 100755 --- a/bin/make_redirects +++ b/bin/make_redirects @@ -43,7 +43,7 @@ def readme_redirects(rs): for kwd, info in rs.items(): target = info['target'] desc = info['description'] - lines.append(f'<dt><a href="/{kwd}"><code>/{kwd}</code></a></dt>\n') + lines.append(f'<dt><code>/{kwd}</code></dt>\n') lines.append(f'<dd><a href="{target}"><code>{target}</code> ({desc})</a></dt>\n') lines.append("</dl>\n") |