added documentation for new functions {get,set}_history_length

diff --git a/Doc/lib/libreadline.tex b/Doc/lib/libreadline.tex
index 7c5683fea72443ec75d4f2f2bd4763ad3f412c35..4681ee55f1fffa4a9daba784f3e696cdc0f2586b 100644 (file)
--- a/Doc/lib/libreadline.tex
+++ b/Doc/lib/libreadline.tex
@@ -42,6 +42,17 @@ Save a readline history file.
 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})},