[project @ 1996-06-27 15:55:53 by partain]

[ghc-hetmet.git] / ghc / docs / users_guide / prof-compiler-options.lit

diff --git a/ghc/docs/users_guide/prof-compiler-options.lit b/ghc/docs/users_guide/prof-compiler-options.lit
index 21d8ca6..0f870b4 100644 (file)
--- a/ghc/docs/users_guide/prof-compiler-options.lit
+++ b/ghc/docs/users_guide/prof-compiler-options.lit
@@ -53,6 +53,12 @@ declared in the module. If no group is specified it defaults to the
 module name.
 \end{description}
 
+In addition to the \tr{-prof} option your system might be setup to
+enable you to compile and link with the \tr{-prof-details}
+\index{\tr{-prof-details option}} option instead. This enables
+additional detailed counts to be reported with the \tr{-P} RTS option.
+%-prof-details should also enable age profiling if we get it going again ...
+
 %Alternative profiling semantics have also been implemented. To use
 %these the runtime system and prelude libraries must have been built
 %for the alternative profiling setup. This is done using a particular