aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSergey Poznyakoff <gray@gnu.org.ua>2011-10-23 00:51:05 +0300
committerSergey Poznyakoff <gray@gnu.org.ua>2011-10-23 00:51:05 +0300
commit2642cac5ca8084b4f1f9033afb90b6a7ee6b95fd (patch)
treeff0f75d15b409cde3e575fae91f4e873a29984f3 /doc
parent21ffba77b92f79a59c62728ede4ad7a4ecb5a0ee (diff)
downloadpies-2642cac5ca8084b4f1f9033afb90b6a7ee6b95fd.tar.gz
pies-2642cac5ca8084b4f1f9033afb90b6a7ee6b95fd.tar.bz2
Minor fix.
* doc/Makefile.am (check-options): Change to match the recent changes.
Diffstat (limited to 'doc')
-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.