diff --git a/Doc/lib/libreadline.tex b/Doc/lib/libreadline.tex
index 7c5683f..4681ee5 100644
--- a/Doc/lib/libreadline.tex
+++ b/Doc/lib/libreadline.tex
@@ -42,6 +42,17 @@
 The default filename is \file{\~{}/.history}.
 \end{funcdesc}
 
+\begin{funcdesc}{get_history_length}{}
+Return the desired length of the history file.  Negative values imply
+unlimited history file size.
+\end{funcdesc}
+
+\begin{funcdesc}{set_history_length}{length}
+Set the number of lines to save in the history file.
+\func{write_history_file} uses this value to truncate the history file when
+saving.  Negative values imply unlimited history file size.
+\end{funcdesc}
+
 \begin{funcdesc}{set_completer}{\optional{function}}
 Set or remove the completer function.  The completer function is
 called as \code{\var{function}(\var{text}, \var{state})},