doc: Remove left-over MIPS.

* doc/guix.texi (Additional Build Options): Substitute aarch64 for MIPS.
This commit is contained in:
Tobias Geerinckx-Rice 2022-06-05 02:00:00 +02:00
parent 337441609c
commit aeca46ae0f
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -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