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