diff options
author | Brice Waegeneire <brice@waegenei.re> | 2020-05-01 16:22:55 +0200 |
---|---|---|
committer | Mathieu Othacehe <m.othacehe@gmail.com> | 2020-05-01 16:40:42 +0200 |
commit | dc6eec77a55a69a4fb1947978a0e4afc6e8205c7 (patch) | |
tree | 8685bb11df875425c8e73d120dfab8c62bd8201d /doc | |
parent | c316b8569229fd03b571214493c3f12f754e3ac8 (diff) |
doc: Move 'Dictionary Service' under 'Miscellaneous Services'.
* doc/guix.texi (Dictionary Service): Renamed to singular and changed
from 'subsubsection' to 'subheading'.
Signed-off-by: Mathieu Othacehe <m.othacehe@gmail.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 4868cf479e..c571010bc8 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -25733,7 +25733,7 @@ If true, this must be the name of a file to log messages to. @end table @end deftp -@subsection Dictionary Services +@subsubheading Dictionary Service @cindex dictionary The @code{(gnu services dict)} module provides the following service: |