user-guide: Use ghc-flag for dump formatting flags
authorBen Gamari <ben@smart-cactus.org>
Thu, 14 Jan 2016 12:49:17 +0000 (13:49 +0100)
committerBen Gamari <ben@smart-cactus.org>
Thu, 14 Jan 2016 13:05:25 +0000 (14:05 +0100)
commit83c13c2a6b7d7424d0bbee31f4ef2e7ab44836b0
tree89a6492cb5eab9a294e9ae9a051485d9d50dcd07
parentb355b8fc5287bb10da6ead223f91f7de647bb908
user-guide: Use ghc-flag for dump formatting flags

And document -dth-dec-file. Not sure how these were missed.
docs/users_guide/debugging.rst