12 May
2021
12 May
'21
2:14 p.m.
On Wed, May 12, 2021 at 02:50:04PM +0200, Mauro Carvalho Chehab wrote:
v2:
- removed EM/EN DASH conversion from this patchset;
Are you still thinking about doing the
EN DASH --> "--" EM DASH --> "---"
conversion? That's not going to change what the documentation will look like in the HTML and PDF output forms, and I think it would make life easier for people are reading and editing the Documentation/* files in text form.
- Ted