Thank you for your message and for making those changes.
Could you say where exactly you found the copy with just one hyphen?
I was reading:
https://www.gnu.org/prep/standards/standards.html
This page says:
The GNU coding standards, last updated July 1, 2021.
The Texinfo source for this version seems to be in the archive at:
https://www.gnu.org/prep/standards/standards.texi.tar.gz
standards.texi:1009-1012:
@menu
* --version:: The standard output for --version.
* --help:: The standard output for --help.
@end menu
I assumed that this meant that something in the conversion process
changes -- to – (U+2013).
Thank you.
David
