From 3fe9a98c95ec775aef008062b6bc2355ef8c522c Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Wed, 9 Aug 2000 14:37:05 +0000
Subject: [PATCH] Correct markup error.

---
 Doc/lib/libreadline.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Doc/lib/libreadline.tex b/Doc/lib/libreadline.tex
index 4681ee55f1f..f59ddac8b1a 100644
--- a/Doc/lib/libreadline.tex
+++ b/Doc/lib/libreadline.tex
@@ -49,8 +49,9 @@ unlimited history file size.
 
 \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.
+\function{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}}