From: Jim Meyering <jim@meyering.net>
Date: Fri, 2 Jul 2004 15:18:46 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: v5.3.0~1182
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=7c2ebb9f5b6985d20dd43a071558c44b592e83f2;p=thirdparty%2Fcoreutils.git

*** empty log message ***
---

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 0b2d138521..d2ef209842 100644
--- 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>