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)