bug#59262: Dash instead of two hyphens in manual

bug-coreutils

From:	Antonio Diaz Diaz
Subject:	bug#59262: Dash instead of two hyphens in manual
Date:	Tue, 15 Nov 2022 15:56:57 +0100
User-agent:	Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.9.1.19) Gecko/20110420 SeaMonkey/2.0.14

Thank you Paul and Pádraig for the quick and comprehensive fix! Way beyondwhat I noticed and reported, in fact.


Antonio.

Current Thread

[Next in Thread]

bug#59262: Dash instead of two hyphens in manual, Antonio Diaz Diaz, 2022/11/14
- bug#59262: Dash instead of two hyphens in manual, Paul Eggert, 2022/11/14
  - bug#59262: Dash instead of two hyphens in manual, Antonio Diaz Diaz <=
- bug#59262: Dash instead of two hyphens in manual, Pádraig Brady, 2022/11/15
  - bug#59262: Dash instead of two hyphens in manual, Paul Eggert, 2022/11/15