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

[Vincent Lefevre]

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.

-- 
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)