diff options
author | Matthias Klose <doko@debian.org> | 2004-08-26 21:26:22 +0000 |
---|---|---|
committer | Matthias Klose <doko@gcc.gnu.org> | 2004-08-26 21:26:22 +0000 |
commit | df6e87bf752c78351c8a40c5c824f312e2199621 (patch) | |
tree | bc4e54385fef7abc224f3114fca1de4fc7c6ae96 /contrib/texi2pod.pl | |
parent | b77c7437d390e1ff45581b32b4549f07a6ae104a (diff) |
texi2pod.pl: keep references of the form @ref{...}, print them bold.
2004-08-26 Matthias Klose <doko@debian.org>
* texi2pod.pl: keep references of the form @ref{...}, print them bold.
From-SVN: r86635
Diffstat (limited to 'contrib/texi2pod.pl')
-rwxr-xr-x | contrib/texi2pod.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl index 9d4bb541903..480f26a212c 100755 --- a/contrib/texi2pod.pl +++ b/contrib/texi2pod.pl @@ -349,6 +349,9 @@ sub postprocess s/\@w\{([^\}]*)\}/S<$1>/g; s/\@(?:dmn|math)\{([^\}]*)\}/$1/g; + # keep references of the form @ref{...}, print them bold + s/\@(?:ref)\{([^\}]*)\}/B<$1>/g; + # Cross references are thrown away, as are @noindent and @refill. # (@noindent is impossible in .pod, and @refill is unnecessary.) # @* is also impossible in .pod; we discard it and any newline that |