diff options
Diffstat (limited to 'doc/hackersguide')
| -rw-r--r-- | doc/hackersguide/Makefile.am | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/hackersguide/Makefile.am b/doc/hackersguide/Makefile.am index 4849117ae..4fe0d06ad 100644 --- a/doc/hackersguide/Makefile.am +++ b/doc/hackersguide/Makefile.am @@ -32,11 +32,11 @@ clean-docs: test "x$(srcdir)" = x. || rm -f $(hackersguide_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 hackersguide.html: $(hackersguide_sgml) |