diff options
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index ceac245e1..01b41a7b5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -40,6 +40,9 @@ CONFIG_CLEAN_FILES = libtool-nofpic docs: @cd doc && $(MAKE) $@ +distcheck-lax: + @$(MAKE) docs + @$(MAKE) distcheck SGMLTOOLS=: FIG2DEV=: pass1: @$(MAKE) MULTIPASS_CFLAGS='$(PASS1_CFLAGS)' |