summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile26
1 files changed, 26 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e69de29..884c0fe 100644
--- a/Makefile
+++ b/Makefile
@@ -0,0 +1,26 @@
+BUILDDIR := build
+DESIGN_DOCS = $(wildcard design_docs/*.rst)
+
+.PHONY: clean html pdf bps all
+
+all: bps html pdf
+
+clean:
+ rm -rf $(BUILDDIR)/*
+
+bps: $(DESIGN_DOCS) | $(BUILDDIR)
+ mkdir -p $(BUILDDIR)/design_docs
+ $(foreach f,$(DESIGN_DOCS),rst2html.py $(f) $(BUILDDIR)/$(f:.rst=.html);)
+
+html: | $(BUILDDIR)
+ sphinx-build -b html -c etc -d $(BUILDDIR)/doctrees \
+ requirements $(BUILDDIR)/requirements/html
+
+pdf: | $(BUILDDIR)
+ sphinx-build -b latex -c etc -d $(BUILDDIR)/doctrees \
+ requirements $(BUILDDIR)/requirements/latex
+ $(MAKE) -C $(BUILDDIR)/requirements/latex \
+ LATEXOPTS='--interaction=nonstopmode' all-pdf
+
+$(BUILDDIR):
+ mkdir -p $(BUILDDIR)