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 <[email protected]> - 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)
