permalink redirects: Do not linkify headings

On the website, these links are redundant, since they point to the
same place.

Everywhere else they are broken links.

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")