This is an automated email from the git hooks/post-receive script.
ngz pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 9ce89e5 doc: Use @option for command-line options
9ce89e5 is described below
commit 9ce89e597e2cf0eba3e5abf82f689530ddf289f7
Author: Nicolas Goaziou <[email protected]>
AuthorDate: Thu May 7 13:59:38 2020 +0200
doc: Use @option for command-line options
* doc/guix.texi (Invoking guix system): Use @option instead of @code.
---
doc/guix.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index f8e1378..2ed5458 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -27066,7 +27066,7 @@ example, if you intend to build software using Guix
inside of the Docker
container, you may need to pass the @option{--privileged} option to
@code{docker create}.
-Last, the @code{--network} option applies to @command{guix system
+Last, the @option{--network} option applies to @command{guix system
docker-image}: it produces an image where network is supposedly shared
with the host, and thus without services like nscd or NetworkManager.
