diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-18 22:02:15 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
commit | 3de701d46b7b3bbdac40ad017c7f9a0a1cd8120b (patch) | |
tree | bd680d29dccebebaded04848cb7597bbbd793f91 /doc/cvc4.1_template.in | |
parent | dd5dee0a40a03ea5fc7c3685aa2ce17d073a22ab (diff) |
Proper escaping in option documentation.
Diffstat (limited to 'doc/cvc4.1_template.in')
-rw-r--r-- | doc/cvc4.1_template.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in index baae1dc4b..e08a96b11 100644 --- a/doc/cvc4.1_template.in +++ b/doc/cvc4.1_template.in @@ -46,13 +46,13 @@ 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." +.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." +.IP "Each option marked with [*] has a \-\-no\-OPTIONNAME variant, which reverses the sense of the option." .\".SH FILES .\".SH ENVIRONMENT |