Hello!
I noticed a difference between v13 and v14 DROP EXTENSION pages, and v14
looks better to me so I prepared a small patch to apply to the v13 page.
Please take a look.
--
Ekaterina Kiryanova
Technical Writer
Postgres Professional
the Russian PostgreSQL Company
diff --git a/doc/src/sgml/ref/drop_extension.sgml b/doc/src/sgml/ref/drop_extension.sgml
index 549b8d3b52..484e5d9b11 100644
--- a/doc/src/sgml/ref/drop_extension.sgml
+++ b/doc/src/sgml/ref/drop_extension.sgml
@@ -32,7 +32,8 @@ DROP EXTENSION [ IF EXISTS ] <replaceable class="parameter">name</replaceable> [
<command>DROP EXTENSION</command> removes extensions from the database.
Dropping an extension causes its member objects, and other explicitly
dependent routines (see <xref linkend="sql-alterroutine"/>,
- the depends on extension action), to be dropped as well.
+ the <literal>DEPENDS ON EXTENSION <replaceable>extension_name</replaceable>
+ </literal> action), to be dropped as well.
</para>
<para>
