Add 'id' to Acknowledgments section

Per note from Erik Rijkers
Discussion: https://postgr.es/m/3db724af16ee009ab7f812a6a1d9354e@xs4all.nl

diff --git a/doc/src/sgml/release-10.sgml b/doc/src/sgml/release-10.sgml
index de7779f622bc0f1f6b7d3da1cfeccbab9d1f22e7..9deab950ce25c273b14ed1c649c4baee5b0d4b33 100644 (file)
--- a/doc/src/sgml/release-10.sgml
+++ b/doc/src/sgml/release-10.sgml
@@ -8990,7 +8990,7 @@ This was disabled in the PG 9.6 branch so there is no commit here.
 
   
 
-  
+   id="release-10-acknowledgements">
    Acknowledgments
 
    

diff --git a/doc/src/sgml/release-11.sgml b/doc/src/sgml/release-11.sgml
index b129d32264c5df1bc5f8b7e668f653beb79ce23c..09b80b8af5c9d52ae38306edf0ca07b679840bf5 100644 (file)
--- a/doc/src/sgml/release-11.sgml
+++ b/doc/src/sgml/release-11.sgml
@@ -3633,7 +3633,7 @@ same commits as above
 
   
 
-  
+   id="release-11-acknowledgements">
    Acknowledgments