From aeca46ae0fba3e06b81af458bca27315de0e7c7d Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sun, 5 Jun 2022 02:00:00 +0200 Subject: [PATCH] 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