]> git.ipfire.org Git - thirdparty/coreutils.git/commit
projects / thirdparty / coreutils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b73888b) | patch
doc: fix markup
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 15 Nov 2022 03:08:19 +0000 (19:08 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 15 Nov 2022 03:08:53 +0000 (19:08 -0800)
commit2fce39eb3a720009edc0e85ddff5b879ac599e16
treee05ab5b70af5845f5c21e112eef6d2ba1f10c955tree | snapshot
parentb73888b12caa359c93d05aa7ff7c3a66a74b5f7bcommit | diff
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 diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/coreutils.git