--- a/Doc/lib/libstring.tex	Wed Sep 13 17:36:35 1995 +0000
+++ b/Doc/lib/libstring.tex	Wed Sep 13 17:37:21 1995 +0000
@@ -159,6 +159,12 @@
 Convert lower case letters to upper case and vice versa.
 \end{funcdesc}
 
+\begin{funcdesc}{translate}{s, table}
+Translate the characters from \var{s} using \var{table}, which must be
+a 256-character string giving the translation for each character
+value, indexed by its ordinal.
+\end{funcdesc}
+
 \begin{funcdesc}{upper}{s}
 Convert letters to upper case.
 \end{funcdesc}