diff options
author | Ludovic Courtès <ludo@gnu.org> | 2024-06-19 17:25:14 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-06-26 22:49:36 +0200 |
commit | 0fdac5f036fe038d7e7c5555252c0d3467035d44 (patch) | |
tree | f9a422ed08f6fc8032c6fc2e47bd8d35bac6e706 /.mailmap | |
parent | 947005f5eea7f9e92060faefdeb705afb3d1878d (diff) | |
download | guix-0fdac5f036fe038d7e7c5555252c0d3467035d44.tar.gz guix-0fdac5f036fe038d7e7c5555252c0d3467035d44.zip |
doc: Introduce mumi before referring to it.
* doc/contributing.texi (Debbugs User Interfaces): Introduce mumi in the
body of the text rather than a footnote since the “Command-Line
Interface” section assumes it has already been introduced.
(Command-Line Interface, Emacs Interface): Capitalize titles.
Change-Id: I0e87cd48b6158582016734afe71c716c548c1639
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions