aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
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
@@ -38,9 +38,9 @@ check-format: imprimatur-format imprimatur-check-sentence-spacing
38 38
39check-options: 39check-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

Return to:

Send suggestions and report system problems to the System administrator.