diff options
Diffstat (limited to 'doc/scripts/gdoc')
-rwxr-xr-x | doc/scripts/gdoc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index 5d2d609699..224b83e22a 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -561,6 +561,7 @@ sub output_enum_tex { $param2 = $args{'parameters'}{$parameter}; $param2 =~ s/\#([a-zA-Z\_]+)/{\\it $1}/g; $param2 =~ s/\%([a-zA-Z\_]+)/{\\bf $1}/g; + $param2 =~ s/([0-9]+)\^([0-9]+)/\$\{$1\}\^\{$2\}\$/g; $out = just_highlight($param2); $out =~ s/_/\\_/g; chomp $out; |