Hi On this page:
https://www.postgresql.org/docs/current/extend-extensions.html three of the <sect2> sections are missing an "id" attribute; patch adds these. Noticed when trying to create a stable link to one of the affected sections. Regards Ian Barwick
From c0dec489ec5b088d7e16b814aef9750ff271c606 Mon Sep 17 00:00:00 2001 From: Ian Barwick <barw...@gmail.com> Date: Mon, 5 Dec 2022 10:41:05 +0900 Subject: [PATCH v1] doc: add "id" attributes to extension documentation Some of the sections here: https://www.postgresql.org/docs/current/extend-extensions.html were missing "id" attributes. --- doc/src/sgml/extend.sgml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/src/sgml/extend.sgml b/doc/src/sgml/extend.sgml index 46e873a166..ba89cf5a28 100644 --- a/doc/src/sgml/extend.sgml +++ b/doc/src/sgml/extend.sgml @@ -628,7 +628,7 @@ RETURNS anycompatible AS ... dropping the whole extension. </para> - <sect2> + <sect2 id="extend-extensions-files"> <title>Extension Files</title> <indexterm> @@ -1063,7 +1063,7 @@ SELECT pg_catalog.pg_extension_config_dump('my_config', 'WHERE NOT standard_entr </para> </sect2> - <sect2> + <sect2 id="extend-extensions-updates"> <title>Extension Updates</title> <para> @@ -1144,7 +1144,7 @@ SELECT * FROM pg_extension_update_paths('<replaceable>extension_name</replaceabl </para> </sect2> - <sect2> + <sect2 id="extend-extensions-update-scripts"> <title>Installing Extensions Using Update Scripts</title> <para> base-commit: 71cb84ec69a38444c48bd8d3b5451b2da157848b -- 2.31.1
