diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-01-16 15:49:18 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-01-17 16:05:20 +0100 |
| commit | 79b11cafcfedf8a5751dacd21cbb5d5e8b4ec657 (patch) | |
| tree | 89a9f0e24d30adbee29ccb3777016070edd33dbe | |
| parent | 306737c6797cc209a4f034e51c4057c15c6cc311 (diff) | |
doc: Use the right cross-reference command.
* doc/guix.texi (Package Transformation Options): Use @pxref, not @ref.
| -rw-r--r-- | doc/guix.texi | 2 |
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 |