Fix for manpages.

diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in
index 3a876fefcc96406426fdce5628f1e0a0a2165a39..d741fd33f8da96994a10a6a9c947bb063302b3f2 100644 (file)
--- a/doc/SmtEngine.3cvc_template.in
+++ b/doc/SmtEngine.3cvc_template.in
@@ -19,6 +19,8 @@ and
 .I SmtEngine::getOption()
 use the following option keys.
 
+.ad l
+
 .RS
 .TP 10
 .I "COMMON OPTIONS"
@@ -28,6 +30,8 @@ ${remaining_manpage_smt_documentation}
 .PD
 .RE
 
+.ad b
+
 .SH VERSION
 This manual page refers to
 .B CVC4

diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in
index a0d6c1640b78bd30366cb29a1cdacd4a75da4552..f92faf47ff19c8159243bacffd3e3bac73263bc4 100644 (file)
--- a/doc/options.3cvc_template.in
+++ b/doc/options.3cvc_template.in
@@ -7,6 +7,8 @@ options \- the options infrastructure
 
 .SH AVAILABLE INTERNAL OPTIONS
 
+.ad l
+
 .RS
 .TP 10
 .I "COMMON OPTIONS"
@@ -16,6 +18,8 @@ ${remaining_manpage_internals_documentation}
 .PD
 .RE
 
+.ad b
+
 .SH VERSION
 This manual page refers to
 .B CVC4