monad-repl: Add `build-mode' argument to `build' command.

* guix/monad-repl.scm (build): Add `build-mode' argument.
(evaluate/print-with-store): Use it.
* doc/guix.texi (Using Guix Interactively): Document it.

Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
Modified-by: Maxim Cournoyer <maxim@guixotic.coop>

1 files changed, 5 insertions, 2 deletions

diff --git a/doc/guix.texi b/doc/guix.texi
index 05eac9bda96..6bf2ca4f1ad 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -123,7 +123,7 @@ Copyright @copyright{} 2023 Foundation Devices, Inc.@*
 Copyright @copyright{} 2023 Thomas Ieong@*
 Copyright @copyright{} 2023 Saku Laesvuori@*
 Copyright @copyright{} 2023 Graham James Addis@*
-Copyright @copyright{} 2023-2025 Tomas Volf@*
+Copyright @copyright{} 2023-2026 Tomas Volf@*
 Copyright @copyright{} 2024-2026 Herman Rimm@*
 Copyright @copyright{} 2024 Matthew Trzcinski@*
 Copyright @copyright{} 2024 Richard Sent@*
@@ -13735,9 +13735,12 @@ $7 = "/gnu/store/@dots{}-x"
 The full list of REPL commands can be seen by typing @code{,help guix}
 and is given below for reference.
 
-@deffn {REPL command} build @var{object}
+@deffn {REPL command} build @var{object} [@var{build-mode}]
 Lower @var{object} and build it if it's not already built, returning its
 output file name(s).
+
+@var{build-mode} defaults to @code{normal}.  Other valid build modes are
+@code{check} and @code{repair}.
 @end deffn
 
 @deffn {REPL command} build-options @var{options}