diff options
| -rw-r--r-- | doc/faq/Makefile.am | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/doc/faq/Makefile.am b/doc/faq/Makefile.am index 643099888..34bd3a95a 100644 --- a/doc/faq/Makefile.am +++ b/doc/faq/Makefile.am @@ -9,13 +9,6 @@ DISTCLEANFILES = $(doc_DATA) $(html_DATA) docs: $(doc_DATA) $(html_DATA) -dist-hook: - @if test x"$(distcheck_lax)" = x ; then \ - $(MAKE) fail_if_missing=yes docs ; \ - else \ - $(MAKE) docs ; \ - fi - faq.html: faq.docbook xmlto html-nochunks $(srcdir)/faq.docbook |