01/08: doc: Use the right cross-reference command.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 79b11cafcfedf8a5751dacd21cbb5d5e8b4ec657
Author: Ludovic Courtès <ludo@gnu.org>
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