#981112 wget: " instead of '' in wget(1) man page due to change by texi2pod.pl

Package:
wget
Source:
wget
Description:
retrieves files from the web
Submitter:
Vincent Lefevre
Date:
2021-01-26 15:21:04 UTC
Severity:
minor
Tags:
#981112#5
Date:
2021-01-26 15:17:50 UTC
From:
To:
In the wget(1) man page:

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

instead of

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

or

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

The info file is correct. The bug comes from the included texi2pod.pl
script, which unconditionally changes '' to ".