(EXTRA_DIST): Add constants.texi and doclicense.texi.

(info_TEXINFOS): s/fileutils/omni-utils/.
(check-texinfo): New rule.
(check): Depend on check-texinfo.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 43c67b122ed9a0b0fe3f761b4e316ca7933be6c0..3a584bd56a0f37920af83c8aebb87f6f46b17278 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,7 +1,7 @@
 ## Process this file with automake to produce Makefile.in -*-Makefile-*-
-info_TEXINFOS = fileutils.texi
+info_TEXINFOS = omni-utils.texi
 
-EXTRA_DIST = perm.texi getdate.texi
+EXTRA_DIST = perm.texi getdate.texi constants.texi doclicense.texi
 
 # The following is necessary if the package name is 8 characters or longer.
 # If the info documentation would be split into 10 or more separate files,
@@ -12,3 +12,10 @@ EXTRA_DIST = perm.texi getdate.texi
 # and those names all map to one 14-byte name (<package>.info-) on some crufty
 # old systems.
 MAKEINFO = makeinfo --no-split
+
+# 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