From 64fecee3afba14a6dfe4e8d1d7614f3bf25ef0e0 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 7 Nov 2023 12:18:25 +0000
Subject: 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.
---
 bin/make_redirects | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

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")
-- 
cgit v1.2.3-54-g00ecf