diff options
| author | Matthias Klose <doko@debian.org> | 2004-08-26 21:26:22 +0000 |
|---|---|---|
| committer | Matthias Klose <doko@debian.org> | 2004-08-26 21:26:22 +0000 |
| commit | aa93a27b0141fd5fc3eb860e54357360d8c6f5a8 (patch) | |
| tree | bc4e54385fef7abc224f3114fca1de4fc7c6ae96 /contrib/texi2pod.pl | |
| parent | 72b60e34c9b10e14bfd83c99d0bcfc8c24439fc4 (diff) | |
2004-08-26 Matthias Klose <doko@debian.org>
* texi2pod.pl: keep references of the form @ref{...}, print them bold.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@86635 138bc75d-0d04-0410-961f-82ee72b054a4
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 |