From 1b43fbd8e4c97dfed5f0679feccdb7ff576f6bbe Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 18 Oct 2005 14:09:43 +0000
Subject: [PATCH] * Oops, that should be Berkeley DB 4.3.  Reported by Gerco
 Ballintijn.

---
 doc/manual/installation.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml
index 3e2c62f5be..2d71107c57 100644
--- a/doc/manual/installation.xml
+++ b/doc/manual/installation.xml
@@ -67,7 +67,7 @@ these packages.  Alternatively, if you already have them installed,
 you can use <command>configure</command>'s <option>--with-bdb</option>
 and <option>--with-aterm</option> options to point to their respective
 locations.  Note that Berkeley DB <emphasis>must</emphasis> be version
-4.2; other versions may not have compatible database formats.</para>
+4.3; other versions may not have compatible database formats.</para>
 
 </sect1>