*** empty log message ***

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 0b2d138521b2a6b43992249491bb6b3d458de528..d2ef209842d01e1d65919060fe37807a36b35d6f 100644 (file)
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,7 +1,9 @@
 2004-07-02  Jim Meyering  <jim@meyering.net>
 
        * Makefile.am (check-texinfo): Disallow `filename' in .texi files.
-       (check-texinfo): Fail if a @footnote directive follows non-punctuation.
+       Spell it like `file name' instead, to be consistent.
+       Fail if a @footnote directive follows non-punctuation.
+       Fail upon use of @url.  Use @uref instead.
 
 2004-06-30  Paul Eggert  <eggert@cs.ucla.edu>