bug-wget
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Tim Rühsen
Subject: Re: texi2pod.pl changes '' to " even in verbatim text, e.g. example
Date: Sun, 31 Jan 2021 18:27:18 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0

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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]