1
0
mirror of git://git.sv.gnu.org/coreutils.git synced 2026-04-20 18:56:39 +02:00

Fail upon use of @url. Use @uref instead.

This commit is contained in:
Jim Meyering
2004-07-02 15:18:43 +00:00
parent 6b46a1435c
commit 0f9eb70e23

View File

@@ -32,6 +32,7 @@ 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; \