Added \deprecated to exit_thread() function.

Reflects Guido's revision.

diff --git a/Doc/lib/libthread.tex b/Doc/lib/libthread.tex
index 9bc1849b521f13211f3c19d00f2d95969f684a4a..c8d251e06e189433837d0395e79e5f7a6b16d819 100644 (file)
--- a/Doc/lib/libthread.tex
+++ b/Doc/lib/libthread.tex
@@ -44,6 +44,7 @@ will cause the thread to exit silently.
 \end{funcdesc}
 
 \begin{funcdesc}{exit_thread}{}
+\deprecated{1.5.2}{Use \function{exit()}.}
 This is an obsolete synonym for \function{exit()}.
 \end{funcdesc}