aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r--doc/Makefile.am4
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
@@ -40,5 +40,5 @@ 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 - \

Return to:

Send suggestions and report system problems to the System administrator.