diff options
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 a22fd4f..49953d4 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 |