Minor fixes for man pages.

diff --git a/src/options/mkoptions b/src/options/mkoptions
index f05de05716586ca1ae9b33643f866bb3693466e9..681eba8089b5803215650ff561561a26eec61dd2 100755 (executable)
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -1061,6 +1061,8 @@ function doc {
               mansmtdoc="$mansmtdoc (EXPERTS only)"
             fi
             altmanopt="`echo "$altopt" | sed 's,-,\\\\\\-,g'`"
+            mansmtdoc="`echo "$mansmtdoc" | sed 's,-,\\\\\\-,g'`"
+            typedefault="`echo "$typedefault" | sed 's,-,\\\\\\-,g'`"
             if [ "$category" = COMMON ]; then
               common_manpage_internals_documentation="${common_manpage_internals_documentation}
 .TP
@@ -1184,6 +1186,7 @@ $mandoc"
       else
         typedefault="($type, default = $default_value)"
       fi
+      typedefault="`echo "$typedefault" | sed 's,-,\\\\\\-,g'`"
       if [ "$category" = COMMON ]; then
         common_manpage_internals_documentation="${common_manpage_internals_documentation}
 .TP