diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 492a6ae..f6e0025 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -38,9 +38,9 @@ check-format: imprimatur-format imprimatur-check-sentence-spacing check-options: @$(CHECK_DOCS) options \ - '/argp_option options\[\] = /,/^}/s/[ \t]*{ *"\([^,"]*\)".*/\1/pg' \ + '/OPTIONS_BEGIN/,/OPTIONS_END/{s/OPTION( *\([^,][^,]*\),.*/\1/pg;s/ALIAS(\([^,][^,)]*\)[,)]/\1/p;}' \ 's/@opindex *\([^@,]*\).*/\1/p' \ - $(top_srcdir)/src/pies.c -- \ + $(top_srcdir)/src/cmdline.opt -- \ $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) -E - \ $(info_TEXINFOS) |