diff options
Diffstat (limited to 'doc/scripts/gdoc')
| -rwxr-xr-x | doc/scripts/gdoc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index f7d64c98da..82d9e0af1b 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -633,10 +633,7 @@ sub output_man { print ".SH \"" . uc($section) . "\"\n"; $sec = $args{'sections'}{$section}; $sec =~ s/-/\\-/g; - $sec =~ s/"%/__gdoc_quotepercent_hack__/g; - $sec = just_highlight ($sec); - $sec =~ s/__gdoc_quotepercent_hack__/"%/g; - print $sec; + output_highlight($sec); } if ($args{'bugsto'}) { |