summaryrefslogtreecommitdiff
path: root/contrib/texi2pod.pl
diff options
context:
space:
mode:
authordoko <doko@138bc75d-0d04-0410-961f-82ee72b054a4>2004-08-26 21:26:22 +0000
committerdoko <doko@138bc75d-0d04-0410-961f-82ee72b054a4>2004-08-26 21:26:22 +0000
commit8717605bddf703f04d36ffa38d357008cb3d0739 (patch)
treebc4e54385fef7abc224f3114fca1de4fc7c6ae96 /contrib/texi2pod.pl
parent53d146fe45e358f81f70c81c82b4b9d00040c683 (diff)
downloadgcc-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-xcontrib/texi2pod.pl3
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