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 5d6e5fc3469bfccb5044544a1318bae64112fde8..ec06a4162a5d518a7d8dcc5ad99dc79957210c97 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.
 
 \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}
 
   for details.
 \end{describe}