DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"

Peter Smith <smithpb2250@gmail.com>

From: Peter Smith <smithpb2250@gmail.com>
To: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Date: 2026-04-01T06:16:00Z
Lists: pgsql-hackers

Attachments

Hi.

I happened to notice that the "DROP PUBLICATION IF EXISTS" parameter
is documented [1]
------
IF EXISTS
Do not throw an error if the publication does not exist. A notice is
issued in this case.
------

But, the equivalent "DROP SUBSCRIPTION IF EXISTS" parameter
description is missing [2].

~~~

PSA a patch to add similar documentation for DROP SUBSCRIPTION IF EXISTS.

======
[1] https://www.postgresql.org/docs/devel/sql-droppublication.html
[2] https://www.postgresql.org/docs/devel/sql-dropsubscription.html

Kind Regards,
Peter Smith.
Fujitsu Australia

Commits

  1. doc: Add missing description for DROP SUBSCRIPTION IF EXISTS.