diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 9 |
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: |