diff options
| -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 |