Mercury Bugs - mercury
View Issue Details
0000206mercuryBugpublic2011-07-22 09:292011-07-23 18:03
Assigned Tojuliensf 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000206: User's guide has incorrect short option name for mtc --output-file
DescriptionThe "Generating trace counts" section of the Mercury User's Guide states:

‘mtc’ accepts an ‘-f’ or ‘--output-file’ option

but the short option is actually '-o'.

The mtc help/usage message (and hence the man page) lists the correct option name.

Additional InformationThis problem is present in both 11.01 and rotd-2011-07-17
TagsNo tags attached.
Attached Files

2011-07-23 18:03   
Fixed in r1.631 of doc/user_guide.texi.

Issue History
2011-07-22 09:29arossNew Issue
2011-07-23 18:03juliensfNote Added: 0000338
2011-07-23 18:03juliensfStatusnew => resolved
2011-07-23 18:03juliensfResolutionopen => fixed
2011-07-23 18:03juliensfAssigned To => juliensf