diff options
author | Bob Wilson <bob.wilson@acm.org> | 2005-10-21 17:54:27 +0000 |
---|---|---|
committer | Bob Wilson <bwilson@gcc.gnu.org> | 2005-10-21 17:54:27 +0000 |
commit | 0928f4059f4bdb66450df266dd97d9cc7c1215c0 (patch) | |
tree | 95a89f214c107410f028277eca637a998ae3c094 /contrib/texi2pod.pl | |
parent | 6568f34b01c7ade5d2fbe0eb19e2d998a201fb02 (diff) |
texi2pod.pl: Convert two single quotes or two backquotes to double quotes.
* texi2pod.pl: Convert two single quotes or two backquotes to
double quotes.
From-SVN: r105758
Diffstat (limited to 'contrib/texi2pod.pl')
-rwxr-xr-x | contrib/texi2pod.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/texi2pod.pl b/contrib/texi2pod.pl index a22fd4fe692..49953d4f246 100755 --- a/contrib/texi2pod.pl +++ b/contrib/texi2pod.pl @@ -352,6 +352,10 @@ sub postprocess # keep references of the form @ref{...}, print them bold s/\@(?:ref)\{([^\}]*)\}/B<$1>/g; + # Change double single quotes to double quotes. + s/''/"/g; + s/``/"/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 |