bug#59262: closed (Dash instead of two hyphens in manual)

[GNU bug Tracking System]

Your message dated Mon, 14 Nov 2022 19:11:58 -0800
with message-id <28d9fffe-310a-0dfb-7b63-963bbdc0c858@cs.ucla.edu>
and subject line Re: bug#59262: Dash instead of two hyphens in manual
has caused the debbugs.gnu.org bug report #59262,
regarding Dash instead of two hyphens in manual
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
59262: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59262
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Dash instead of two hyphens in manual
>
>
>
>
> Date: 
>
> Mon, 14 Nov 2022 19:23:23 +0100
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.9.1.19) Gecko/20110420 SeaMonkey/2.0.14
>
>
>
>
> 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 an @option or @code command?
>
> [1] http://www.gnu.org/software/coreutils/manual/html_node/Common-options.html
>
> Thanks,
> Antonio.
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: bug#59262: Dash instead of two hyphens in manual Date: Mon, 14 Nov 2022 19:11:58 -0800 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.1 Thanks for reporting that. Fixed by installing the attached. This should propagate to the web pages after the next release.

0001-build-update-gnulib-submodule-to-latest.patch
Description: Text Data

0002-doc-fix-markup.patch
Description: Text Data

--- End Message ---