diff options
-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 | |||
@@ -40,5 +40,5 @@ 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 - \ |