(check-texinfo): Disallow `filename' in .texi files.
authorJim Meyering <jim@meyering.net>
Fri, 2 Jul 2004 15:05:40 +0000 (15:05 +0000)
committerJim Meyering <jim@meyering.net>
Fri, 2 Jul 2004 15:05:40 +0000 (15:05 +0000)
commit6ca52b93dcf0104c5500c8b828a275cdc321ba25
treeb3270e61b51966ecd36c51538715991adf2f2e0e
parent2ca3893c923fbc339045cfb7efc37c275a6bc9f8
(check-texinfo): Disallow `filename' in .texi files.
doc/Makefile.am