[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.
- wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/03
- Re: wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/03
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/04
- Re: wget2 | Improve manual formatting (!526), Carles Pina Estany (@carles_pina), 2023/08/04
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526), @rockdaboot, 2023/08/05
- Re: wget2 | Improve manual formatting (!526),
Carles Pina Estany (@carles_pina) <=