1 files changed, 6 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index b4449103de..599fb07dfa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -11,6 +11,12 @@
 
 2012-07-30  Akim Demaille  <akim@lrde.epita.fr>
 
+	gnu-web-doc-update: fix --help
+	* build-aux/gnu-web-doc-update: The information "top level" was written
+	twice.
+
+2012-07-30  Akim Demaille  <akim@lrde.epita.fr>
+
 	maint.mk: absolute VPATH issue
 	* top/maint.mk (release-prep): Help Git find .git/.
 	From Jim Meyering.