branch master updated: doc: Use @option for command-line options

[guix-commits]

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 <address@hidden>
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.