diff options
Diffstat (limited to 'manual/time.texi')
| -rw-r--r-- | manual/time.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/time.texi b/manual/time.texi index a3e8438bce..64763a2d21 100644 --- a/manual/time.texi +++ b/manual/time.texi @@ -212,7 +212,7 @@ Note that the clock can wrap around. On a 32bit system with same value approximately every 72 minutes. For additional functions to examine a process' use of processor time, -and to control it, @xref{Resource Usage And Limitation}. +and to control it, see @ref{Resource Usage And Limitation}. @menu |