diff options
Diffstat (limited to 'doc/faq')
| -rw-r--r-- | doc/faq/Makefile.am | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/faq/Makefile.am b/doc/faq/Makefile.am index 311be2615..7b602a5b8 100644 --- a/doc/faq/Makefile.am +++ b/doc/faq/Makefile.am @@ -20,11 +20,11 @@ clean-docs: test "x$(srcdir)" = x. || rm -f faq.sgml dist-hook: -ifndef distcheck_lax - @$(MAKE) fail_if_missing=yes docs -else - @$(MAKE) docs -endif + @if test x"$(distcheck_lax)" = x ; then \ + $(MAKE) fail_if_missing=yes docs ; \ + else \ + $(MAKE) docs ; \ + fi if HAVE_SGMLTOOLS faq.html: faq.sgml |