
#9179: Documentation suggests to use '-hi-diffs' but it should be '-ddump-hi-
diffs'
--------------------------------------+------------------------------------
Reporter: shalehperry | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Documentation | Version: 7.8.2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: Documentation bug | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
--------------------------------------+------------------------------------
Comment (by Joachim Breitner