wget-dev
[Top][All Lists]
Advanced

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

Re: wget2 | Improve manual formatting (!526)


From: Carles Pina Estany (@carles_pina)
Subject: Re: wget2 | Improve manual formatting (!526)
Date: Sat, 05 Aug 2023 16:07:16 +0000



Carles Pina Estany commented: 
https://gitlab.com/gnuwget/wget2/-/merge_requests/526#note_1501775130

> "Trivial" does not mean that the amount of work you put into the changes is 
> trivial! To do all those little changes, I'd personally need a non trivial 
> amount of time :smile:. It is awesome that you invested your time for this.

BTW, I spotted the problem (and fixed it) because the options without the 
backticks, in "man wget2", were displayed with a typographic dash (or em-dash?) 
so I couldn't copy-paste things from the manual!

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/-/merge_requests/526#note_1501775130
You're receiving this email because of your account on gitlab.com.




reply via email to

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