projects
/
platform
/
upstream
/
coreutils.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2ca3893
)
(check-texinfo): Disallow `filename' in .texi files.
author
Jim Meyering
<jim@meyering.net>
Fri, 2 Jul 2004 15:05:40 +0000
(15:05 +0000)
committer
Jim Meyering
<jim@meyering.net>
Fri, 2 Jul 2004 15:05:40 +0000
(15:05 +0000)
doc/Makefile.am
patch
|
blob
|
history
diff --git
a/doc/Makefile.am
b/doc/Makefile.am
index
c6e8e26
..
7a63a2f
100644
(file)
--- a/
doc/Makefile.am
+++ b/
doc/Makefile.am
@@
-34,6
+34,8
@@
check-texinfo:
grep non-zero $(srcdir)/*.texi && fail=1; \
grep -w NUL $(srcdir)/*.texi && fail=1; \
grep '\$$@"' $(srcdir)/*.texi && fail=1; \
+ grep -n filename $(srcdir)/*.texi|grep -vE 'setfilename|{filename}' \
+ && fail=1; \
$(PERL) -e 1 2> /dev/null && { $(PERL) -ne \
'/\bPOSIX\b/ && !/\@acronym{POSIX}/ && !/^\* / || /{posix}/ and print,exit 1' \
$(srcdir)/*.texi 2> /dev/null || fail=1; }; \