01/06: doc: Remove left-over MIPS.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit aeca46ae0fba3e06b81af458bca27315de0e7c7d
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Sun Jun 5 02:00:00 2022 +0200

    doc: Remove left-over MIPS.
    
    * doc/guix.texi (Additional Build Options): Substitute aarch64 for MIPS.
---
 doc/guix.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 7bedb8660e..96d545698f 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -12474,8 +12474,8 @@ If a log is unavailable locally, and unless 
@option{--no-substitutes} is
 passed, the command looks for a corresponding log on one of the
 substitute servers (as specified with @option{--substitute-urls}).
 
-So for instance, imagine you want to see the build log of GDB on MIPS,
-but you are actually on an @code{x86_64} machine:
+So for instance, imagine you want to see the build log of GDB on
+@code{aarch64}, but you are actually on an @code{x86_64} machine:
 
 @example
 $ guix build --log-file gdb -s aarch64-linux