diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-06-04 23:10:06 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-06 11:54:39 +0200 |
| commit | d62c6170efd82b361e08f4f52149709d1c7ae5e4 (patch) | |
| tree | ed15bc975be32aec024d75e6a87527e18cc98d9e /doc | |
| parent | 9ad8b0c2ef10d8de01bad25f54337c5df35aa842 (diff) | |
| download | guix-d62c6170efd82b361e08f4f52149709d1c7ae5e4.tar.gz guix-d62c6170efd82b361e08f4f52149709d1c7ae5e4.zip | |
doc: Add missing node to the main menu.
This is a followup to 110462bb2f1678fb0147a5845b2b48d0566ce0b4.
* doc/guix.texi (Top): Add "Mail Home Services" to the menu.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 8df5cc411c..01f4e0105f 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -442,6 +442,7 @@ Home Services * Guix: Guix Home Services. Services for Guix. * Fonts: Fonts Home Services. Services for managing User's fonts. * Sound: Sound Home Services. Dealing with audio. +* Mail: Mail Home Services. Services for managing mail. * Messaging: Messaging Home Services. Services for managing messaging. * Media: Media Home Services. Services for managing media. |