diff options
| author | Sergey Poznyakoff <gray@gnu.org.ua> | 2011-10-23 00:51:05 +0300 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2011-10-23 00:51:05 +0300 |
| commit | 2642cac5ca8084b4f1f9033afb90b6a7ee6b95fd (patch) | |
| tree | ff0f75d15b409cde3e575fae91f4e873a29984f3 /doc | |
| parent | 21ffba77b92f79a59c62728ede4ad7a4ecb5a0ee (diff) | |
| download | pies-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.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 | ||