guix_mirror_bot pushed a commit to branch next-master
in repository guix.
commit 6f43befa5648a8b20d09101ad7a7a3f8db88effc
Author: Hartmut Goebel <[email protected]>
AuthorDate: Wed Jun 22 16:35:13 2022 +0200
doc: Small rewording.
* doc/guix.texi (Services)[Continuous Integration]: Add quotes to mark terms
as such. Fix typo.
---
doc/guix.texi | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index d1e8af61f2..ed604b0ac7 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -38329,8 +38329,8 @@ evaluated, they are sent to the local Guix daemon.
Cuirass then
listens to the Guix daemon output to detect the various build events.
@item Using the remote build mechanism.
-The build jobs are not submitted to the local Guix daemon. Instead, a
-remote server dispatches build requests to the connect remote workers,
+The build jobs are not submitted to the local Guix daemon. Instead, one
+``remote server'' dispatches build requests to the connected ``remote
workers'',
according to the build priorities.
@end itemize
