From 559cb7b0a72606a45673004ae7b5420268d843c6 Mon Sep 17 00:00:00 2001 From: Wez Furlong Date: Mon, 20 Mar 2023 12:43:40 -0700 Subject: [PATCH] schemes: we now allow using any of the alias names, so refine docs --- ci/generate-docs.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ci/generate-docs.py b/ci/generate-docs.py index 029f7ac22ac..06548616b89 100644 --- a/ci/generate-docs.py +++ b/ci/generate-docs.py @@ -292,9 +292,7 @@ def scheme_link(name): if alias_link: alias_list.append(f"[{a}]({alias_link})") else: - alias_list.append( - f"`{a}` (but that name isn't used here)" - ) + alias_list.append(f"`{a}`") aliases = ", ".join(alias_list) idx.write(f"This scheme is also known as {aliases}.
\n") else: