doc: Use @command for commands under “Binary Installation”.

* doc/guix.texi (Binary Installation): Use @command and @code appropriately.

Change-Id: If2d0d25a3e7e97c19f14c6f70143b5481b49b727
Signed-off-by: Rutherther <rutherther@ditigal.xyz>

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/guix.texi b/doc/guix.texi
index e4c6f8c32cc..a40082a001d 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -775,15 +775,15 @@ which automates the binary installation process without use of a foreign
 distro package
 manager@footnote{@uref{https://guix.gnu.org/guix-install.sh}}.
 Use of @file{guix-install.sh} requires Bash, GnuPG, GNU@tie{}tar, wget,
-and Xz.  On systems where @code{systemd} is detected, the tool
-@code{newgidmap} from the @code{uidmap} package is also required.
+and Xz.  On systems where systemd is detected, the tool
+@command{newgidmap} from the @code{uidmap} package is also required.
 
 The script guides you through the following:
 
 @itemize
 @item Downloading and extracting the binary tarball
 @item Setting up the build daemon
-@item Making the ‘guix’ command available to non-root users
+@item Making @command{guix} command available to non-root users
 @item Configuring substitute servers
 @end itemize
 
@@ -856,7 +856,7 @@ files, configuration, and services.
 Some GNU/Linux distributions, such as openSUSE, Alpine and NixOS provide
 Guix through their own package managers.  The version of Guix may be
 older than @value{VERSION} but you can update it afterwards by running
-@samp{guix pull}.
+@command{guix pull}.
 
 We advise system administrators who install Guix, both from the
 installation script or @i{via} the native package manager of their