[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] other hosts default
|
From: |
Dale R. Worley |
|
Subject: |
Re: [Bug-wget] other hosts default |
|
Date: |
Fri, 07 Jul 2017 21:06:44 -0400 |
> kalle <address@hidden> writes:
>> well. then the info-document should be changed, so that it doesn't make
>> the impression on the reader, that it would be so. at least, this is
>> how I interpeted it. and I was puzzled quite a time with this problem,
>> that it seemed to not fit as described.
The effective way to do this is propose as a patch the specific changes
in the documentation that you would like to see.
Dale