doc/runtime.tex: Fix linking for `obj.teardown' message.

Use new `\descref*' and `\autopageref'.

diff --git a/doc/runtime.tex b/doc/runtime.tex
index 5d6e5fc..ec06a41 100644 (file)
--- a/doc/runtime.tex
+++ b/doc/runtime.tex
@@ -790,9 +790,9 @@ deallocation, and applications are free to use any suitable mechanism.
 \begin{describe}{fun}[sod_teardown]{int sod_teardown(void *@<p>);}
   Tears down an instance of a class, releasing any resources it holds.
 
-  This function is a very thin wrapper around sending the @|obj.teardown|
-  message.  See the description of that message
-  (page~\pageref{msg:obj.teardown}) and \xref{sec:concepts.lifecycle.death}
+  This function is a very thin wrapper around sending the
+  \descref*{obj.teardown}{msg} message.  See the description of that message
+  (\autopageref{msg:obj.teardown}) and \xref{sec:concepts.lifecycle.death}
   for details.
 \end{describe}