From 75ec455661ecc88a8b9f77f7b913c227b7f3e728 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 21 Jun 2014 18:11:39 -0400 Subject: [PATCH] Minor fixes for man pages. --- src/options/mkoptions | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/options/mkoptions b/src/options/mkoptions index f05de0571..681eba808 100755 --- 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 -- 2.30.2