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:
a18abe2
)
check only for $@"
author
Jim Meyering
<jim@meyering.net>
Mon, 8 Jul 2002 08:04:08 +0000
(08:04 +0000)
committer
Jim Meyering
<jim@meyering.net>
Mon, 8 Jul 2002 08:04:08 +0000
(08:04 +0000)
doc/Makefile.am
patch
|
blob
|
history
diff --git
a/doc/Makefile.am
b/doc/Makefile.am
index
decb7d8
..
ef6ecc2
100644
(file)
--- a/
doc/Makefile.am
+++ b/
doc/Makefile.am
@@
-31,7
+31,7
@@
$(INFO_DEPS): $(EXTRA_DIST)
# List words/regexps here that should not appear in the texinfo documentation.
check-texinfo:
grep timezone $(srcdir)/*.texi && exit 1 || :
- grep '
[^@]
@"' $(srcdir)/*.texi && exit 1 || :
+ grep '
\$$
@"' $(srcdir)/*.texi && exit 1 || :
@PERL@ -ne \
'/\bPOSIX\b/ && !/\@acronym{POSIX}/ || /{posix}/ and print,exit 1' \
$(srcdir)/*.texi 2> /dev/null && : || exit 1