diff options
author | Jim Meyering <jim@meyering.net> | 2004-07-02 15:18:46 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2004-07-02 15:18:46 +0000 |
commit | 7c2ebb9f5b6985d20dd43a071558c44b592e83f2 (patch) | |
tree | 74358570e931468d1606c95072d6d24d56745813 /doc/ChangeLog | |
parent | 0f9eb70e2373933ff362df1f6ce3e72ad57ecfd3 (diff) | |
download | coreutils-7c2ebb9f5b6985d20dd43a071558c44b592e83f2.tar.xz |
*** empty log message ***
Diffstat (limited to 'doc/ChangeLog')
-rw-r--r-- | doc/ChangeLog | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 0b2d13852..d2ef20984 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> |