Re: texi2pod.pl changes '' to " even in verbatim text, e.g. example

[Vincent Lefevre]

On 2021-01-26 15:19:02 +0100, Vincent Lefevre wrote:
> In texi2pod.pl from wget 1.21:
> 
>     # Change double single quotes to double quotes.
>     s/''/"/g;
>     s/``/"/g;
> 
> This seems to be done unconditionally. But this is incorrect in
> verbatim text, such as
> 
> @example
> wget -X '' -X /~nobody,/~somebody
> @end example

Note: If this is too difficult to fix reliably, there are alternative
solutions:

* Detect '' surrounded with spaces (however, you need to make sure
that when used as a closing double-quote, '' must not be preceded
by spurious spaces).

* Here, use "" instead of '' (it seems that in wget.texi, "..." is
used more often than '...' in shell commands).

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)