From ea32998672dab75a6c5c55c6a97372993b4efa87 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Fri, 2 Jul 2004 17:02:32 +0000 Subject: . --- doc/Makefile.in | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc') diff --git a/doc/Makefile.in b/doc/Makefile.in index 0adc0f9a8..a925eb2a9 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -610,8 +610,10 @@ check-texinfo: grep timezone $(srcdir)/*.texi && fail=1; \ grep -w IO $(srcdir)/*.texi && fail=1; \ grep non-zero $(srcdir)/*.texi && fail=1; \ + grep '@url{' $(srcdir)/*.texi && fail=1; \ grep -w NUL $(srcdir)/*.texi && fail=1; \ grep '\$$@"' $(srcdir)/*.texi && fail=1; \ + grep -n '[^[:punct:]]@footnote' $(srcdir)/*.texi && fail=1; \ grep -n filename $(srcdir)/*.texi|grep -vE 'setfilename|{filename}' \ && fail=1; \ $(PERL) -e 1 2> /dev/null && { $(PERL) -ne \ -- cgit v1.2.3-70-g09d2