diff --git a/ChangeLog b/ChangeLog
index 0d9ee3120..bb0301247 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+1998-07-28  Mark Galassi  <rosalia@cygnus.com>
+
+	* core-docs/gnome-intro/*.html: regenerated the HTML using the
+	latest DocBook tools; some filenames have changed, and 
+
 1998-07-23  Nuno Ferreira  <nmrf@rnl.ist.utl.pt>
 
 	* config.guess, config.sub: Remove auto-generated files.