summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2023-01-16 15:49:18 +0100
committerLudovic Courtès <ludo@gnu.org>2023-01-17 16:05:20 +0100
commit79b11cafcfedf8a5751dacd21cbb5d5e8b4ec657 (patch)
tree89a9f0e24d30adbee29ccb3777016070edd33dbe /doc
parent306737c6797cc209a4f034e51c4057c15c6cc311 (diff)
doc: Use the right cross-reference command.
* doc/guix.texi (Package Transformation Options): Use @pxref, not @ref.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
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