diff --git a/ChangeLog b/ChangeLog
index 1c877dd51..d5cdb8c2a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2001-12-26  Marius Vollmer  <mvo@zagadka.ping.de>
+
+	* configure.in (HAVE_MAKEINFO): Check for the makeinfo program and
+	set this conditional accordingly.
+	
 2001-12-01  Thien-Thi Nguyen  <ttn@giblet.glug.org>
 
 	* README: Fix virulent typo.
diff --git a/libguile/ChangeLog b/libguile/ChangeLog
index 5c82866c0..db2319ff5 100644
--- a/libguile/ChangeLog
+++ b/libguile/ChangeLog
@@ -1,3 +1,8 @@
+2001-12-26  Marius Vollmer  <mvo@zagadka.ping.de>
+
+	* Makefile.am (guile-procedures.txt): When we don't have makeinfo,
+	use "cp" instead.
+
 2001-12-16  Marius Vollmer  <mvo@zagadka.ping.de>
 
 	* stacks.c, stacks.h (scm_t_stackype): Renamed to scm_stack_type