doc: document "IS NOT DOCUMENT"

Bruce Momjian <bruce@momjian.us>

Commit: 756dca8e7f65edb479b7e94b024840011f07565c
Author: Bruce Momjian <bruce@momjian.us>
Date: 2018-03-30T14:39:48Z
Releases: 11.0
doc:  document "IS NOT DOCUMENT"

Reported-by: scott.ure@caseware.com

Discussion: https://postgr.es/m/152056505045.4963.16783351661813640274@wrigleys.postgresql.org

Author: Euler Taveira

Backpatch-through: 10

Files

PathChange+/−
doc/src/sgml/func.sgml modified +18 −0

Documentation touched