From bdad532866a366f143b7060f234de2a7f854df0a Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Mon, 25 Sep 2023 12:29:20 +0300
Subject: [PATCH] util/create-iptypes-html.py: don't link identifiers

A user noticed that many of the identifier links don't actually
work yet. As we don't know what we will do with these yet, for
now I will disable the links.
---
 util/create-iptypes-html.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/util/create-iptypes-html.py b/util/create-iptypes-html.py
index a00e68b..4c7083b 100755
--- a/util/create-iptypes-html.py
+++ b/util/create-iptypes-html.py
@@ -64,7 +64,8 @@
                 <tbody>
                     <tr>
                         <td class="col-2 field-name">Identifier</td>
-                        <td><a href="{ ip_type_identifier }">{ ip_type_identifier }</a></td>
+                        <!-- 2023-09-25: identifiers should not be clickable yet, as many don't work -->
+                        <td>{ ip_type_identifier }</td>
                     </tr>
                     <tr>
                         <td class="col-2 field-name">Definition</td>