EXTRA_DIST = _static _templates conf.py \
    index.rst introduction.rst installation.rst \
    configuration.rst sample_rulebase.rst internals.rst \
    contacts.rst changes.rst libraryapi.rst \
    lognormalizer.rst license.rst graph.png

htmldir = $(docdir)
built_html = _build/html

#html_DATA = $(built_html)/index.html

# Makefile for Sphinx documentation
#

# You can set these variables from the command line.
SPHINXOPTS    = -n -W -c $(srcdir)
#SPHINXBUILD   = sphinx-build
PAPER         =
BUILDDIR      = _build

# Internal variables.
ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(SPHINXOPTS) $(srcdir)

.PHONY: clean-local html-local man-local all-local dist-hook install-data-hook

dist-hook:
	find $(distdir)/ -name .gitignore | xargs rm -f

clean-local:
	-rm -rf $(BUILDDIR)/*

html-local:
	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
	@echo
	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."

man-local:
	$(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(BUILDDIR)/man
	@echo
	@echo "Build finished. The manual pages are in $(BUILDDIR)/man."

all-local: html-local

install-data-hook:
	find $(built_html) -type f -printf "%P\n" | \
	while read file; do \
	    echo " $(INSTALL_DATA) -D $(built_html)/$$file '$(DESTDIR)$(htmldir)/$$file'"; \
	    $(INSTALL_DATA) -D $(built_html)/$$file "$(DESTDIR)$(htmldir)/$$file" || exit $$?; \
	done

uninstall-local:
	-rm -rf "$(DESTDIR)$(htmldir)"