diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-14 15:13:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-14 15:13:37 +0000 |
commit | 080fc73c61ca11a539fd5239146a828e86b9e29a (patch) | |
tree | e85086eafa39013a06b04f7704a17e8a5d977b57 /doc/cvc4.1_template.in | |
parent | 01dfa806851502267e1032483fec48e8b4373634 (diff) |
Fix a few minor issues in options processing, improving usability, consistency, error-reporting, and documentation.
Diffstat (limited to 'doc/cvc4.1_template.in')
-rw-r--r-- | doc/cvc4.1_template.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in index 23eff6110..ad8226261 100644 --- a/doc/cvc4.1_template.in +++ b/doc/cvc4.1_template.in @@ -45,10 +45,15 @@ is unspecified and is connected to a terminal, interactive mode is assumed. .SH COMMON OPTIONS + +.IP "Each option marked with [*] has a --no-OPTIONNAME variant, which reverses the sense of the option." + ${common_manpage_documentation} ${remaining_manpage_documentation} +.IP "Each option marked with [*] has a --no-OPTIONNAME variant, which reverses the sense of the option." + .\".SH FILES .\".SH ENVIRONMENT .SH DIAGNOSTICS |