[Top][All Lists]

[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.


reply via email to

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