documentation/python: adapt to changes in Python 3.12 builtins docs.

diff --git a/documentation/python.py b/documentation/python.py
index 0b1927f72f91a1ccd07cb9d3d812536a08c16afd..5aa328e16ec11f77dbc01b2d29e43847ea0373e4 100755 (executable)
--- a/documentation/python.py
+++ b/documentation/python.py
@@ -329,6 +329,12 @@ if sys.version_info >= (3, 11):
         ('__getstate__', "Helper for pickle.")
     })
 
+# Python 3.12 changes the __format__ docstring
+if sys.version_info >= (3, 11):
+    _filtered_builtin_functions.update({
+        ('__format__', "Default object formatter.\n\nReturn str(self) if format_spec is empty. Raise TypeError otherwise.")
+    })
+
 _filtered_builtin_properties = set([
     # (if defined) is gone in https://github.com/python/cpython/issues/112266
     # which is backported all the way to 3.11