diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index a3dc6eb855f..8e926a3a8cb 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1198,6 +1198,16 @@ build-postgresql:
+
+
+
+
+ Build with SElinux support, enabling the
+ extension.
+
+
+
+
@@ -2629,6 +2639,17 @@ ninja install
+
+
+
+
+
+ Build with SElinux support, enabling the
+ extension. Defaults to auto.
+
+
+
+
diff --git a/doc/src/sgml/sepgsql.sgml b/doc/src/sgml/sepgsql.sgml
index b368e587cbf..1b848f1977c 100644
--- a/doc/src/sgml/sepgsql.sgml
+++ b/doc/src/sgml/sepgsql.sgml
@@ -87,9 +87,14 @@ Policy from config file: targeted
- To build this module, include the option --with-selinux in
- your PostgreSQL configure command. Be sure that the
- libselinux-devel RPM is installed at build time.
+ To build this module specify (when using make and autoconf ) or (when using meson).
+
+ Be sure that the libselinux-devel RPM is installed at
+ build time.