diff options
Diffstat (limited to 'etc/texi2pod.pl')
| -rw-r--r-- | etc/texi2pod.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/texi2pod.pl b/etc/texi2pod.pl index b0540338c..8d92bcf60 100644 --- a/etc/texi2pod.pl +++ b/etc/texi2pod.pl @@ -381,6 +381,7 @@ sub postprocess s/\@file\{([^\}]*)\}/F<$1>/g; s/\@w\{([^\}]*)\}/S<$1>/g; s/\@(?:dmn|math)\{([^\}]*)\}/$1/g; + s/\@t\{([^\}]*)\}/$1/g; # keep references of the form @ref{...}, print them bold s/\@(?:ref)\{([^\}]*)\}/B<$1>/g; |