diff options
Diffstat (limited to 'doc/scripts/gdoc')
-rwxr-xr-x | doc/scripts/gdoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index 1bbc9108c6..db582569e2 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -113,7 +113,7 @@ $blankline_texinfo = ""; %highlights_tex = ( $type_constant, "{\\\\it \$1}", $type_func, "{\\\\bf \$1}", $type_struct, "{\\\\it \$1}", - $type_param, "{\\\\bf \$1}"); + $type_param, "{\\\\bf \$1}" ); $blankline_tex = "\\"; # sgml, docbook format |