From ff63c363a87c65a1e4b0acedf6450b88fc91e0a5 Mon Sep 17 00:00:00 2001
From: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
Date: Fri, 10 Jan 2025 23:26:43 +0100
Subject: [PATCH] Avoid including invalid links in 1000.html (#575)

The current code includes `<p><a href="None">url</a></p>` for every
entry that doesn't have a URL listed.
---
 make_site.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/make_site.py b/make_site.py
index 71842982d..28f72e9c8 100755
--- a/make_site.py
+++ b/make_site.py
@@ -161,7 +161,7 @@ class DocDecl:
     """
     Data for a documentation entry for a single declaration.
     DocDecl objects are created from data in `header-data.json` and processed into HTML
-    in `templates/100.thml` and `templates/1000.html`.
+    in `templates/100.html` and `templates/1000.html`.
     """
 
     name: str
@@ -346,7 +346,7 @@ def download_N_theorems(kind: NTheorems) -> dict:
                 if kind == NTheorems.Hundred:
                     (id, links, thms, note) = (h.number, h.links, '100 theorems', h.note)
                 else:
-                    (id, links, thms, note) = (h.wikidata, {'url': h.url}, '1000+ theorems', h.comment)
+                    (id, links, thms, note) = (h.wikidata, {'url': h.url} if h.url else {}, '1000+ theorems', h.comment)
                 decls = h.decls or ([h.decl] if h.decl else [])
                 doc_decls = []
                 if decls: