civodul pushed a commit to branch master
in repository guix.
commit 79b11cafcfedf8a5751dacd21cbb5d5e8b4ec657
Author: Ludovic Courtès <[email protected]>
AuthorDate: Mon Jan 16 15:49:18 2023 +0100
doc: Use the right cross-reference command.
* doc/guix.texi (Package Transformation Options): Use @pxref, not @ref.
---
doc/guix.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index 27a0c62532..9b478733eb 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -12793,7 +12793,7 @@ upstream servers, deployments made with
@option{--with-latest} and
or be modified in place on the servers.
To deploy old software versions without compromising on reproducibility,
-@ref{Invoking guix time-machine, @command{guix time-machine}}.
+@pxref{Invoking guix time-machine, @command{guix time-machine}}.
@end quotation
There are limitations. First, in cases where the tool cannot or does
