doc: behaviour of +RTS -h depends on profiling
authorBen Price <ben@brprice.uk>
Tue, 15 Jan 2019 12:38:44 +0000 (12:38 +0000)
committerBen Gamari <ben@smart-cactus.org>
Wed, 16 Jan 2019 19:17:20 +0000 (14:17 -0500)
commit6acb36d8ea169dfc0ddc4e10559a9bf6b4316212
tree0050ffc6043f9bb9f6d13c99ba97a7a7b3fc59bc
parent61f178b617fcb2c1102b0d0505bb3c70e83c1843
doc: behaviour of +RTS -h depends on profiling

The rts option `-h` behaves as `-hT` when compiled without profiling,
and `-hc` when compiled with profiling. Add a note to the user's guide
highlighting this inconsistency.
docs/users_guide/profiling.rst
docs/users_guide/runtime_control.rst