aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile61
1 files changed, 61 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..ca57b10
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,61 @@
1# Minimal makefile for Sphinx documentation
2#
3
4REGISTRIES = dot-alt \
5 gnu-name-system-default-tlds \
6 gnu-name-system-record-flags \
7 gnu-name-system-record-types \
8 gnu-taler-db-events \
9 gnu-taler-error-codes \
10 gnu-taler-extensions \
11 gnu-taler-kyc-attributes \
12 gnunet-dht-block-types \
13 gnunet-error-codes \
14 gnunet-protocols \
15 gnunet-signatures \
16 http-status-codes \
17 payto-payment-target-types \
18 gns-protocol-numbers \
19 gns-service-port-numbers
20
21# You can set these variables from the command line, and also
22# from the environment for the first two.
23SPHINXOPTS ?=
24SPHINXBUILD ?= sphinx-build
25SOURCEDIR = .
26BUILDDIR = _build
27
28
29all: rsts html
30
31# Put it first so that "make" without argument is like "make help".
32help:
33 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
34
35.PHONY: all clean help texinfo info Makefile
36
37rsts:
38 for dir in $(REGISTRIES); do \
39 $(MAKE) -C $$dir; \
40 done
41
42html:
43 @$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
44
45texinfo:
46 @$(SPHINXBUILD) -M texinfo "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
47
48info:
49 @$(SPHINXBUILD) -M info "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
50
51clean:
52 rm -rf $(BUILDDIR)
53 for dir in $(REGISTRIES); do \
54 $(MAKE) -C $$dir; \
55 done
56
57distclean: clean
58
59# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
60#%: Makefile
61# @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)