diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 73c9f94f9..4eeabed7b 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -362,6 +362,13 @@ uninstall-info: uninstall-info-am mostlyclean-aminfo mostlyclean-generic mostlyclean-vti \ uninstall uninstall-am uninstall-info-am + +# List words/regexps here that should not appear in the texinfo documentation. +check-texinfo: + grep timezone $(srcdir)/*.texi && exit 1 || : + grep -w POSIX $(srcdir)/*.texi && exit 1 || : + +check: check-texinfo # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: |