From 7c2ebb9f5b6985d20dd43a071558c44b592e83f2 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Fri, 2 Jul 2004 15:18:46 +0000 Subject: [PATCH] *** empty log message *** --- doc/ChangeLog | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/ChangeLog b/doc/ChangeLog index 0b2d138..d2ef209 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,7 +1,9 @@ 2004-07-02 Jim Meyering * 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 -- 2.7.4