summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruno Victal <mirai@makinata.eu>2023-03-08 01:22:06 +0000
committerLudovic Courtès <ludo@gnu.org>2023-03-13 15:08:35 +0100
commiteec5b16d7068610554195f7fcfdfa7d974869a9a (patch)
treecc02b861f4ce35cda8540bec6c6371003ed0957f
parent7b743d4f6864427883766f1d9657f8c106cb83c0 (diff)
downloadguix-patches-eec5b16d7068610554195f7fcfdfa7d974869a9a.tar
guix-patches-eec5b16d7068610554195f7fcfdfa7d974869a9a.tar.gz
doc: Fix incorrect @deffn usage for service-types.
* doc/guix.texi (Networking Services): Fix incorrect @deffn usage for service-types. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r--doc/guix.texi8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 95c954bfcf..b8da614680 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -20043,7 +20043,7 @@ running a WiFi access point with @command{hostapd}, running the
@command{inetd} ``superdaemon'', and more. This section describes
those.
-@deffn {Scheme Procedure} dhcpd-service-type
+@defvar dhcpd-service-type
This type defines a service that runs a DHCP daemon. To create a
service of this type, you must supply a @code{<dhcpd-configuration>}.
For example:
@@ -20054,7 +20054,7 @@ For example:
(config-file (local-file "my-dhcpd.conf"))
(interfaces '("enp0s25"))))
@end lisp
-@end deffn
+@end defvar
@deftp {Data Type} dhcpd-configuration
@table @asis
@@ -20290,7 +20290,7 @@ to use with the options @option{iburst} and @option{prefer}, as well as
@end deftp
@cindex OpenNTPD
-@deffn {Scheme Procedure} openntpd-service-type
+@defvar openntpd-service-type
Run the @command{ntpd}, the Network Time Protocol (NTP) daemon, as implemented
by @uref{http://www.openntpd.org, OpenNTPD}. The daemon will keep the system
clock synchronized with that of the given servers.
@@ -20305,7 +20305,7 @@ clock synchronized with that of the given servers.
(constraints-from '("https://www.google.com/"))))
@end lisp
-@end deffn
+@end defvar
@defvar %openntpd-servers
This variable is a list of the server addresses defined in