bug#59262: Dash instead of two hyphens in manual

2022-11-15 Thread Paul Eggert
On 2022-11-15 05:36, Pádraig Brady wrote: A few  more instances are fixed in the attached, and a new syntax check to avoid future occurrences. Thanks, I installed the attached to fix a comment, and fix some more hyphen-vs-dash issues that I noticed while looking at your patch. These are harde

bug#59262: Dash instead of two hyphens in manual

2022-11-15 Thread Antonio Diaz Diaz
Thank you Paul and Pádraig for the quick and comprehensive fix! Way beyond what I noticed and reported, in fact. Antonio.

bug#59262: Dash instead of two hyphens in manual

2022-11-14 Thread Paul Eggert
Thanks for reporting that. Fixed by installing the attached. This should propagate to the web pages after the next release.From b73888b12caa359c93d05aa7ff7c3a66a74b5f7b Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 14 Nov 2022 19:00:06 -0800 Subject: [PATCH 1/2] build: update gnulib submo

bug#59262: Dash instead of two hyphens in manual

2022-11-14 Thread Antonio Diaz Diaz
Hello. I have found a minor bug in the manual. In the entry descriptions of the menu at the bottom of 'Common options'[1] there are 6 long option names preceded by a dash instead of two hyphens ('â@Sblock-size' instead of '--block-size', etc). Maybe those option names should be inserted in a