From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 3 Aug 2019 19:40:27 +0000 (+0100)
Subject: doc/runtime.tex: Fix linking for `obj.teardown' message.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/aacae2739986636d9e7921cc0712d506e25c71b8

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
--- 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}