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

[Tim Rühsen]

Hi,

On 26.01.21 15:19, Vincent Lefevre wrote:

Hi,

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

Thus one ends up with

         wget -X " -X /~nobody,/~somebody

in the wget.pod file, and the man page is affected too, since it is
obtained from wget.pod.

Just found this single occurrence and replaced '' with "" in doc/wget.texi.

Thanks for reporting.

Regards, Tim

OpenPGP_signature
Description: OpenPGP digital signature