diff options
Diffstat (limited to 'doc/SmtEngine.3cvc_template.in')
| -rw-r--r-- | doc/SmtEngine.3cvc_template.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in index 0c558d8b7..b240dd8d2 100644 --- a/doc/SmtEngine.3cvc_template.in +++ b/doc/SmtEngine.3cvc_template.in @@ -24,9 +24,9 @@ use the following option keys. .RS .TP 10 .I "COMMON OPTIONS" -${common_manpage_smt_documentation} +${man_common_smt}$ -${remaining_manpage_smt_documentation} +${man_others_smt}$ .PD .RE |