From ef0ca48b465ac75991c2ba3af5a7176f3f2678c0 Mon Sep 17 00:00:00 2001
From: Andreas Klebinger <klebinger.andreas@gmx.at>
Date: Thu, 2 Nov 2023 14:02:04 +0100
Subject: [PATCH] Document --profiling-detail in setup-commands.

Fixes #9182
---
 doc/setup-commands.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/setup-commands.rst b/doc/setup-commands.rst
index 28cd9e988be..20bdafabfae 100644
--- a/doc/setup-commands.rst
+++ b/doc/setup-commands.rst
@@ -710,6 +710,14 @@ Miscellaneous options
         each module, whether top level or local. In GHC specifically,
         this is for non-inline toplevel or where-bound functions or
         values.
+    late-toplevel
+        Like top-level but costs will be assigned to top level definitions after
+        optimization. This lowers profiling overhead massively while giving similar
+        levels of detail as toplevle-functions. However it means functions introduced
+        by GHC during optimization will show up in profiles as well.
+        Corresponds to ``-fprof-late`` if supported and ``-fprof-auto-top`` otherwise.
+    late
+        Currently an alias for late-toplevel
 
     This flag is new in Cabal-1.24. Prior versions used the equivalent
     of ``none`` above.