summaryrefslogtreecommitdiffabout
path: root/doc/Makefile.am
Side-by-side diff
Diffstat (limited to 'doc/Makefile.am') (more/less context) (ignore whitespace changes)
-rw-r--r--doc/Makefile.am9
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index f53e47c..721ea29 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -99,6 +99,15 @@ check-unrevised:
rm $@-t; \
fi
+check-config:
+ @check-docs.sh 'configuration statements' \
+ '/wydawca_keywords\[\] *= *{/,/^}/s/[ \t]*{ *"\([^,"]*\)".*/\1/pg' \
+ 's/@deffnx\{0,1\} {Config} *\([^@,]*\).*/\1/p' \
+ $(top_srcdir)/src/config.c -- \
+ $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) -E - \
+ $(info_TEXINFOS)
+
+
all-check-docs: check-format check-options check-refs check-fixmes check-unrevised check-writeme
check-docs:

Return to:

Send suggestions and report system problems to the System administrator.