Fix doc build, broken by 13e0fa7a.

Reported-by: Peter Geoghegan

diff --git a/doc/src/sgml/release-13.sgml b/doc/src/sgml/release-13.sgml
index 74b91d5a3ffec41fce61da1345f890d61de5d4d8..66a5cd3cd98d68046532f2f2c30e38e851d84f23 100644 (file)
--- a/doc/src/sgml/release-13.sgml
+++ b/doc/src/sgml/release-13.sgml
@@ -626,7 +626,7 @@ Author: Jeff Davis 
        
         Previously, hash aggregation was avoided if it was expected to use
         more than  memory.  This is controlled
-        by enable-hashagg-disk"/>.
+        by hashagg-avoid-disk-plan"/>.
        
       
 
@@ -641,12 +641,6 @@ Author: Jeff Davis 
         use hash aggregation with disk storage for large grouping set results
         (Jeff Davis)
        
-
-       
-        Previously, hash aggregation was avoided if it was expected to use
-        more than  memory.  This is controlled
-        by .
-