Document that the semicolon following the final "END" in a function body

is optional.

diff --git a/doc/src/sgml/plpgsql.sgml b/doc/src/sgml/plpgsql.sgml
index 3e87f76f5b3b1f668147ddf9595057ebca17aebe..d705920dcb04f90d52571bc86f872602d2151237 100644 (file)
--- a/doc/src/sgml/plpgsql.sgml
+++ b/doc/src/sgml/plpgsql.sgml
@@ -1,5 +1,5 @@
 
 
  
@@ -437,7 +437,8 @@ END;
 
     
      Each declaration and each statement within a block is terminated
-     by a semicolon.
+     by a semicolon, although the final END that
+     concludes a function body does not require one.