Added \deprecated to exit_thread() function.

freddrake · freddrake · commit 91e5211bbf15 · 1998-07-02T19:33:12.000Z
Reflects Guido's revision.
diff --git a/Doc/lib/libthread.tex b/Doc/lib/libthread.tex
@@ -44,6 +44,7 @@ \section{Built-in Module \module{thread}}
 \end{funcdesc}
 
 \begin{funcdesc}{exit_thread}{}
+\deprecated{1.5.2}{Use \function{exit()}.}
 This is an obsolete synonym for \function{exit()}.
 \end{funcdesc}
 
