summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/expected-undocumented-flags.txt1
-rw-r--r--docs/users_guide/profiling.rst12
2 files changed, 12 insertions, 1 deletions
diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt
index 9861386d0c..493a713e25 100644
--- a/docs/users_guide/expected-undocumented-flags.txt
+++ b/docs/users_guide/expected-undocumented-flags.txt
@@ -85,7 +85,6 @@
-fversion-macros
-fvia-c
-haddock-opts
--hpcdir
-instantiated-with
-keep-hi-file
-keep-o-file
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst
index 78f96ae8cb..803457fce9 100644
--- a/docs/users_guide/profiling.rst
+++ b/docs/users_guide/profiling.rst
@@ -1471,6 +1471,18 @@ Options for instrumenting code for coverage
:ghc-flag:`-fhpc`, and the :command:`hpc` tool will only show information about
those modules.
+.. ghc-flag:: -hpcdir⟨dir⟩
+ :shortdesc: Set the directory where GHC places ``.mix`` files.
+ :type: dynamic
+ :category: coverage
+
+ :default: .hpc
+
+ Override the directory where GHC places the HPC index
+ (``.mix``) files used by ``hpc`` to understand program
+ structure.
+
+
The hpc toolkit
~~~~~~~~~~~~~~~