schemes: we now allow using any of the alias names, so refine docs

wez · Mar 20, 2023 · 559cb7b · 559cb7b
1 parent dd8d4a0
commit 559cb7b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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}.<br/>\n")
                         else: