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 | |||
38 | 38 | ||
39 | check-options: | 39 | check-options: |
40 | @$(CHECK_DOCS) options \ | 40 | @$(CHECK_DOCS) options \ |
41 | '/argp_option options\[\] = /,/^}/s/[ \t]*{ *"\([^,"]*\)".*/\1/pg' \ | 41 | '/OPTIONS_BEGIN/,/OPTIONS_END/{s/OPTION( *\([^,][^,]*\),.*/\1/pg;s/ALIAS(\([^,][^,)]*\)[,)]/\1/p;}' \ |
42 | 's/@opindex *\([^@,]*\).*/\1/p' \ | 42 | 's/@opindex *\([^@,]*\).*/\1/p' \ |
43 | $(top_srcdir)/src/pies.c -- \ | 43 | $(top_srcdir)/src/cmdline.opt -- \ |
44 | $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) -E - \ | 44 | $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) -E - \ |
45 | $(info_TEXINFOS) | 45 | $(info_TEXINFOS) |
46 | 46 | ||