2024-07-13 14:49 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000206mercuryBugpublic2011-07-23 18:03
Assigned Tojuliensf 
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




juliensf (administrator)

Fixed in r1.631 of doc/user_guide.texi.

-Issue History
Date Modified Username Field Change
2011-07-22 09:29 aross New Issue
2011-07-23 18:03 juliensf Note Added: 0000338
2011-07-23 18:03 juliensf Status new => resolved
2011-07-23 18:03 juliensf Resolution open => fixed
2011-07-23 18:03 juliensf Assigned To => juliensf
+Issue History