summaryrefslogtreecommitdiff
path: root/doc/scripts/gdoc
diff options
context:
space:
mode:
Diffstat (limited to 'doc/scripts/gdoc')
-rwxr-xr-xdoc/scripts/gdoc1
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;