diff options
| author | Keith Packard <keithp@keithp.com> | 2015-01-04 19:13:35 -0800 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2015-01-05 14:24:06 -0800 |
| commit | 23a11fd85e12e94d29ee6d33715ac49684867b16 (patch) | |
| tree | 2862d196764d721c341f3e813d1b6f61c6f48f40 /doc/Makefile.am | |
| parent | 1c01633877caa4239f901f02fbe113926318d030 (diff) | |
doc: Create a script to filter xmlto output
This reduces the build log spam while still preserving the xmlto
status to catch build failures correctly.
Signed-off-by: Keith Packard <keithp@keithp.com>
Reviewed-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e6974fef1..b305f4db7 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -12,4 +12,4 @@ include $(top_srcdir)/devbook.am endif HAVE_XMLTO endif ENABLE_DEVEL_DOCS -EXTRA_DIST = smartsched +EXTRA_DIST = smartsched filter-xmlto.sh |