Feedback on the GNU Coding Standards for command-line interfaces

[David Apps]

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