summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2004-07-02 15:18:43 +0000
committerJim Meyering <jim@meyering.net>2004-07-02 15:18:43 +0000
commit0f9eb70e2373933ff362df1f6ce3e72ad57ecfd3 (patch)
treed0549d6b237b148b15f3772e94387e02608030d6 /doc
parent6b46a1435cf0af316705693c5ebc5c1fb6744004 (diff)
downloadcoreutils-0f9eb70e2373933ff362df1f6ce3e72ad57ecfd3.tar.xz
Fail upon use of @url. Use @uref instead.
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 04b63bd1a..8b526086c 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -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; \