diff options
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 |