[PATCH 09/10] doc: Use a long dash instead in tools/buildman/buildman.rst

[Heinrich Schuchardt]

On 11.08.25 01:37, Adriano Carvalho wrote:
> Signed-off-by: Adriano Carvalho <adrianocarvalho.pt at gmail.com>
> ---
>   tools/buildman/buildman.rst | 2 +-
>   1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/tools/buildman/buildman.rst b/tools/buildman/buildman.rst
> index 7944adcd867..3e41d6ec304 100644
> --- a/tools/buildman/buildman.rst
> +++ b/tools/buildman/buildman.rst
> @@ -1360,7 +1360,7 @@ Using boards.cfg
>   This file is no-longer needed by buildman but it is still generated in the
>   working directory. This helps avoid a delay on every build, since scanning all
>   the Kconfig files takes a few seconds. Use the ``-R <filename>`` flag to force
> -regeneration of the file - in that case buildman exits after writing the file
> +regeneration of the file -- in that case buildman exits after writing the file

Please, use the Unicode character, that you want to display, e.g. U+2014 
(em dash), or U+2013 (en dash). This way readers of the raw rst file 
will not be irritated and the rendering in HTML will not depend on the 
smartquotes_action setting.

But to be honest I don't see great value in this typography change.

Best regards

Heinrich

>   with exit code 2 if there was an error in the maintainer files. To use the
>   default filename, use a hyphen, i.e. `-R -`.
>