Fix for manpages.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 5 Aug 2014 19:59:51 +0000 (15:59 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 5 Aug 2014 20:00:00 +0000 (16:00 -0400)
doc/SmtEngine.3cvc_template.in
doc/options.3cvc_template.in

index 3a876fefcc96406426fdce5628f1e0a0a2165a39..d741fd33f8da96994a10a6a9c947bb063302b3f2 100644 (file)
@@ -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
index a0d6c1640b78bd30366cb29a1cdacd4a75da4552..f92faf47ff19c8159243bacffd3e3bac73263bc4 100644 (file)
@@ -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