doc: fix markup
commit2fce39eb3a720009edc0e85ddff5b879ac599e16
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 15 Nov 2022 03:08:19 +0000 (14 19:08 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 15 Nov 2022 03:08:53 +0000 (14 19:08 -0800)
treee05ab5b70af5845f5c21e112eef6d2ba1f10c955
parentb73888b12caa359c93d05aa7ff7c3a66a74b5f7b
doc: fix markup

Problem reported by Antonio Diaz Diaz (bug#59262).
* doc/coreutils.texi: Use markup in menus to prevent
‘--’ from turning into an em dash, and to be more
consistent.
doc/coreutils.texi