doc: document "IS NOT DOCUMENT"

Reported-by: [email protected]
Discussion: https://postgr.es/m/152056505045.4963.16783351661813640274@wrigleys.postgresql.org

Author: Euler Taveira

Backpatch-through: 9.3

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 81c9c2e0a31d440ebc37a126c87a5e944fa1864f..29f9e65a88d3f6f2c137ce0188c6248fb2b78c5c 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -10159,6 +10159,24 @@ SELECT xmlagg(x) FROM (SELECT * FROM test ORDER BY y DESC) AS tab;
     
    
 
+   
+    <literal>IS NOT DOCUMENT</literal>
+
+    
+     IS NOT DOCUMENT
+    
+
+
+xml IS NOT DOCUMENT
+
+
+    
+     The expression IS NOT DOCUMENT returns false if the
+     argument XML value is a proper XML document, true if it is not (that is,
+     it is a content fragment), or null if the argument is null.
+    
+   
+
    
     <literal>XMLEXISTS</literal>