diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 18:11:39 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 18:11:52 -0400 |
| commit | 75ec455661ecc88a8b9f77f7b913c227b7f3e728 (patch) | |
| tree | 6e253dd705d10583bbfc88d9d7238e8dd57fc580 /src/options | |
| parent | f99a56440cb20d5771162e7382e238f0705182fe (diff) | |
Minor fixes for man pages.
Diffstat (limited to 'src/options')
| -rwxr-xr-x | src/options/mkoptions | 3 |
1 files changed, 3 insertions, 0 deletions
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 |