1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
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)"
|