diff options
Diffstat (limited to 'doc/faq')
| -rw-r--r-- | doc/faq/Makefile.am | 31 |
1 files changed, 29 insertions, 2 deletions
diff --git a/doc/faq/Makefile.am b/doc/faq/Makefile.am index 49d22860f..782f618c1 100644 --- a/doc/faq/Makefile.am +++ b/doc/faq/Makefile.am @@ -7,8 +7,35 @@ EXTRA_DIST = README faq.docbook $(doc_DATA) $(html_DATA) DISTCLEANFILES = $(doc_DATA) $(html_DATA) +docs: $(hackersguide_DATA) + +clean-docs: + rm -f $(hackersguide_DATA) + +dist-hook: + @if test x"$(distcheck_lax)" = x ; then \ + $(MAKE) fail_if_missing=yes docs ; \ + else \ + $(MAKE) docs ; \ + fi + +distclean-local: clean-docs + +if HAVE_XMLTO faq.html: faq.docbook - xmlto html-nochunks $(srcdir)/faq.docbook + xmlto html-nochunks $^ faq.txt: faq.docbook - xmlto txt $(srcdir)/faq.docbook + xmlto txt $^ +else +faq.html faq.txt: faq.docbook + if test x"$(fail_if_missing)" = x"yes"; then \ + echo "Please install xmlto."; \ + exit 1; \ + fi + if test x"$(fail_if_missing)" != x"yes"; then \ + touch $@; \ + sleep 1; \ + touch $^; \ + fi +endif |