diff options
| -rw-r--r-- | doc/guix.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index dcc112474b..6c7107c208 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -4057,8 +4057,9 @@ binaries are genuine. @xref{Invoking guix challenge}, for more. Note that, currently, the differing build results are not kept around, so you will have to manually investigate in case of an error---e.g., by -stashing one of the build results with @code{guix archive --export}, -then rebuilding, and finally comparing the two results. +stashing one of the build results with @code{guix archive --export} +(@pxref{Invoking guix archive}), then rebuilding, and finally comparing +the two results. @item --no-build-hook Do not attempt to offload builds @i{via} the ``build hook'' of the daemon |