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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions