diff options
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 2dc7e2c36..41f93d870 100644 --- a/Makefile.am +++ b/Makefile.am @@ -40,8 +40,7 @@ docs: @cd doc && $(MAKE) $@ distcheck-lax: - @$(MAKE) docs - @$(MAKE) distcheck SGMLTOOLS=: FIG2DEV=: + @$(MAKE) distcheck_lax=true distcheck pass1: @$(MAKE) MULTIPASS_CFLAGS='$(PASS1_CFLAGS)' |