From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 19 Jun 2014 07:37:33 +0000 (-0400)
Subject: More doc fixes; fixes some lintian warnings.
X-Git-Tag: cvc5-1.0.0~6758^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b31dd70bd29e0dbce0a171799e648b499e54cb59;p=cvc5.git

More doc fixes; fixes some lintian warnings.
---

diff --git a/src/options/mkoptions b/src/options/mkoptions
index de0986de1..f05de0571 100755
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -1060,13 +1060,14 @@ function doc {
             if [ "$category" = EXPERT ]; then
               mansmtdoc="$mansmtdoc (EXPERTS only)"
             fi
+            altmanopt="`echo "$altopt" | sed 's,-,\\\\\\-,g'`"
             if [ "$category" = COMMON ]; then
               common_manpage_internals_documentation="${common_manpage_internals_documentation}
 .TP
 .B \"$internal\"
 $typedefault
 .br
-.B \"This internal Boolean flag is undocumented; however, its alternate option$altopt which reverses the sense of the option, is documented thusly:\"
+.B \"This internal Boolean flag is undocumented; however, its alternate option$altmanopt which reverses the sense of the option, is documented thusly:\"
 $mansmtdoc"
             else
               remaining_manpage_internals_documentation="${remaining_manpage_internals_documentation}
@@ -1074,7 +1075,7 @@ $mansmtdoc"
 .B \"$internal\"
 $typedefault
 .br
-.B \"This internal Boolean flag is undocumented; however, its alternate option$altopt which reverses the sense of the option, is documented thusly:\"
+.B \"This internal Boolean flag is undocumented; however, its alternate option$altmanopt which reverses the sense of the option, is documented thusly:\"
 $mansmtdoc"
             fi
           else