diff --git a/Doc/using/configure.rst b/Doc/using/configure.rst index b2a2936db73..771ad3cf18d 100644 --- a/Doc/using/configure.rst +++ b/Doc/using/configure.rst @@ -131,6 +131,17 @@ General Options .. versionadded:: 3.11 +.. cmdoption:: --enable-pystats + + Turn on internal statistics gathering. + + The statistics will be dumped to a arbitrary (probably unique) file in + ``/tmp/py_stats/``, or ``C:\temp\py_stats\`` on Windows. + + Use ``Tools//summarize_stats.py`` to read the stats. + + .. versionadded:: 3.11 + Install Options --------------- diff --git a/Tools/scripts/summarize_specialization_stats.py b/Tools/scripts/summarize_stats.py similarity index 100% rename from Tools/scripts/summarize_specialization_stats.py rename to Tools/scripts/summarize_stats.py